( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Asserting Lemmas in the Stable Model Semantics.

, , и . JICSLP, стр. 438-452. MIT Press, (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Gaetano Romano

Gaetano Cicinnati

Gaetano Vitale

Gaetano Romano

Raffaele Gaetano

 

Другие публикации лиц с тем же именем

SLD - Resolution with Reflection., , , и . ILPS, стр. 554-568. MIT Press, (1994)Program Proving: Exit and Return Jumps in Structured Programs., , и . GI Jahrestagung, том 5 из Informatik-Fachberichte, стр. 121-132. Springer, (1976)Asserting Lemmas in the Stable Model Semantics., , и . JICSLP, стр. 438-452. MIT Press, (1996)Caratteristiche e Aspetti Implementativi della Negazione di Metalivello in Reflective Prolog., , и . GULP, стр. 285-300. (1993)Program Construction by Refinements Preserving Correctness., и . Comput. J., 18 (1): 55-62 (1975)Extending Horn Clause Theories by Reflection Principles., , и . JELIA, том 838 из Lecture Notes in Computer Science, стр. 400-413. Springer, (1994)On Procedural Semantics of Metalevel Negation., и . RCLP, том 592 из Lecture Notes in Computer Science, стр. 140-151. Springer, (1991)Experiments in Answer Sets Planning., , , , и . MICAI, том 1793 из Lecture Notes in Computer Science, стр. 95-107. Springer, (2000)Guidelines on using net analysis techniques with large specifications., , , , , и . Applications and Theory in Petri Nets, том 222 из Lecture Notes in Computer Science, стр. 142-161. Springer, (1985)Static Semantics as Program Transformation and Well-founded Computation., и . NMELP, том 927 из Lecture Notes in Computer Science, стр. 156-180. Springer, (1994)