( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
What is Logic Programming good for in Software Engineering?

, и . Advances in Software Engineering and Knowledge Engineering, том 2 из Series on Software Engineering and Knowledge Engineering, World Scientific, (1993)

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.

Paul Levi

Thomas Levi

Idan Levi

Paul Levi

Susanne Levi

 

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

Proving Properties of Logic Programs by Abstract Diagnosis., , , и . LOMAPS, том 1192 из Lecture Notes in Computer Science, стр. 22-50. Springer, (1996)What is Logic Programming good for in Software Engineering?, и . Advances in Software Engineering and Knowledge Engineering, том 2 из Series on Software Engineering and Knowledge Engineering, World Scientific, (1993)Finite Failure is AND-Compositional., и . GULP-PRODE (1), стр. 464-478. (1994)Contributions to a Theory of Existential Termination for Definite Logic Programs., и . GULP-PRODE, стр. 631-642. (1995)An OR-Compositional Semantics for Logic Programs., , , и . ICLP Workshop on Construction of Logic Programs, стр. 215-240. Wiley, (1991)Observational Equivalences for Logic Programs., , и . JICSLP, стр. 131-145. MIT Press, (1992)Toward an Inductionless Technique for Proving Properties of Logic Programs., , и . ICLP, стр. 175-181. ADDP-GIA, (1982)On the Semantics of Logic Programs.. ICLP, стр. 945. MIT Press, (1991)A Formalization of Metaprogramming for real., и . ICLP, стр. 354-373. MIT Press, (1993)How to Transform an Analyzer into a Verifier., , и . LPAR, том 2250 из Lecture Notes in Computer Science, стр. 595-609. Springer, (2001)