Logisches Programmieren

Perspectives of system informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996 : proceedings

Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.).

Computer science logic: 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers

Leszek Pacholski, Jerzy Tiuryn, eds.

Semantics: foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings

J.W. de Baker, W.P. de Roever, G. Rozenberg (eds.).

GWAI-92: Advances in Artificial Intelligence: 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992. Proceedings (Lecture Notes in Computer Science)

Hans J. Ohlbach

Programming in Prolog: Using the ISO Standard

Christopher S. Mellish, William F. Clocksin, William F. Clocksin, C.S. Mellish

Logic in databases: International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 : proceedings

Dino Pedreschi, Carlo Zaniolo, (eds.).

Programming Language Implementation and Logic Programming: 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings (Lecture Notes in Computer Science)

Jaan Penjam, Maurice Bruynooghe

Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings (Lecture Notes in Computer Science)

John Gallagher

Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Lecture Notes in Computer Science)

Georg Gottlob

Algorithmic learning theory: 7th international workshop, ALT '96, Sydney, Australia, October 23-25, 1996 : proceedings

Setsuo Arikawa, Arun K. Sharma (eds.)