Extensions of logic programming : second international workshop, EPL ʹ91, Stockholm, Sweden, January 27-29, 1991, proceedings ; L.-H. Eriksson, L. Hallnas, P. Schroeder-Heister
Corporate Author: | ELP ʹ 91 Stockholm, Sweden) |
---|---|
Other Authors: | Eriksson, L.-H., Hallnas, Lars, Schroeder-Heister, Peter Joseph, |
Format: | Book |
Language: | English |
Published: |
Berlin New York:
Springer-Verlag,
c1992
|
Series: | Lecture notes in computer science,
596 / G. Goos, J. Hartmanis |
Subjects: |
Similar Items
-
Non-monotonic extensions of logic programming: Second International Workshop, NMELP ʹ96, Bad Honnef, Germany, September 5-6, 1996 : selected papers/
Published: (1997) -
Extensions of first order logic /
by: Manzano, Mari?a
Published: (1996) -
Logic program synthesis and transformation : 6th InternationalWorkshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 :proceedings /
Published: (1997) -
Principles of logic and logic programming/
by: Μητακίδης, Γιώργος, 1945-
Published: (1996) -
Principles of logic and logic programming/
by: Μετακίδης, Γιώργος, 1945-
Published: (1996)