Treffer 1 - 4 von 4 für Suche 'CANETE VALDEON, J. M', Suchdauer: 0,57s Treffer weiter einschränken
  1. 1
    A method for compiling and executing expressive assertions

    A method for compiling and executing expressive assertions von GALAN MORILLO, F. J, CANETE VALDEON, J. M


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Synthesis of positive logic programs for checking a class of definitions with infinite quantification

    Synthesis of positive logic programs for checking a class of definitions with infinite quantification von Galán, Francisco J., Cañete-Valdeón, José M.

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    A Method for Compiling and Executing Expressive Assertions

    A Method for Compiling and Executing Expressive Assertions von Morillo, F. J. Galán, Valdeón, J. M. Cañete


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    The intentional relationship of representation between the constructs of a language and reality

    The intentional relationship of representation between the constructs of a language and reality von Cañete-Valdeón, José M., Galán, Francisco J., Toro, Miguel

    Veröffentlicht in Data & knowledge engineering

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: