( en | de | ru )

 

Disambiguierung von "Lanzarone, Gaetano Aurelio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Metalevel Represantation of Analogical Inference.

, und . AI*IA, Volume 549 von Lecture Notes in Computer Science, Seite 460-464. Springer, (1991)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Gaetano Romano

Gaetano Cicinnati

Gaetano Vitale

Gaetano Romano

Raffaele Gaetano

 

Weitere Publikationen von Autoren mit dem selben Namen

SLD - Resolution with Reflection., , , und . ILPS, Seite 554-568. MIT Press, (1994)Program Proving: Exit and Return Jumps in Structured Programs., , und . GI Jahrestagung, Volume 5 von Informatik-Fachberichte, Seite 121-132. Springer, (1976)Metalevel Negation and Non-Monotonic Reasoning., und . Meth. of Logic in CS, 1 (1): 111- (1994)Asserting Lemmas in the Stable Model Semantics., , und . JICSLP, Seite 438-452. MIT Press, (1996)On Procedural Semantics of Metalevel Negation., und . RCLP, Volume 592 von Lecture Notes in Computer Science, Seite 140-151. Springer, (1991)Caratteristiche e Aspetti Implementativi della Negazione di Metalivello in Reflective Prolog., , und . GULP, Seite 285-300. (1993)Program Construction by Refinements Preserving Correctness., und . Comput. J., 18 (1): 55-62 (1975)Extending Horn Clause Theories by Reflection Principles., , und . JELIA, Volume 838 von Lecture Notes in Computer Science, Seite 400-413. Springer, (1994)Experiments in Answer Sets Planning., , , , und . MICAI, Volume 1793 von Lecture Notes in Computer Science, Seite 95-107. Springer, (2000)More Flexible and Powerful Control Constructs for Structured Programming., , und . International Computing Symposium, Seite 135-142. North-Holland, (1977)