( en | de | ru )

 

Disambiguierung von "Lanzarone, Gaetano Aurelio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
SLD - Resolution with Reflection.

, , , und . ILPS, Seite 554-568. MIT Press, (1994)

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)Asserting Lemmas in the Stable Model Semantics., , und . JICSLP, Seite 438-452. MIT Press, (1996)Extending Horn Clause Theories by Reflection Principles., , und . JELIA, Volume 838 von Lecture Notes in Computer Science, Seite 400-413. Springer, (1994)Caratteristiche e Aspetti Implementativi della Negazione di Metalivello in Reflective Prolog., , und . GULP, Seite 285-300. (1993)On Procedural Semantics of Metalevel Negation., und . RCLP, Volume 592 von Lecture Notes in Computer Science, Seite 140-151. Springer, (1991)Experiments in Answer Sets Planning., , , , und . MICAI, Volume 1793 von Lecture Notes in Computer Science, Seite 95-107. Springer, (2000)Program Construction by Refinements Preserving Correctness., und . Comput. J., 18 (1): 55-62 (1975)Extending Explanation-Based Generalization with Metalogic Programming., , und . GULP-PRODE (2), Seite 16-31. (1994)Reflection principles in computational logic., , , und . J. Log. Comput., 10 (6): 743-786 (2000)