Title: P-Functions and Boolean Matrix Factorization: A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms, Author: A. Thayse
Title: Logic Programming: A Classified Bibliography, Author: I. Balbin
Title: Meta-Programming in Logic Programming, Author: Harvey Abramson
Title: Termination Proofs for Logic Programs, Author: Lutz Plümer
Title: Programming Language Implementation and Logic Programming: International Workshop PLILP `90, Link�ping, Sweden, August 20-22, 1990. Proceedings, Author: Pierre Deransart
Title: Graph-Based Proof Procedures for Horn Clauses, Author: RAATZ
Title: Essentials of Logic Programming, Author: Christopher John Hogger
Title: Extensions of Logic Programming: International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings / Edition 1, Author: Peter Schroeder-Heister
Title: Logics in AI: European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings / Edition 1, Author: Jan van Eijck
Title: Logic Programming '89: Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989, Author: Koichi Furukawa
Title: Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings / Edition 1, Author: Jan Maluszynski
Title: Nonmonotonic and Inductive Logic: 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings, Author: Klaus P. Jantke
Title: Conclog: A Methodological Approach to Concurrent Logic Programming / Edition 1, Author: Jean-Marie Jacquet
Title: Parallel Execution of Logic Programs: ICLP '91 Pre-Conference Workshop, Paris, June 24, 1991 Proceedings / Edition 1, Author: Anthony Beaumont
Title: Logic Program Synthesis and Transformation: Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991, Author: Timothy P. Clement
Title: Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991. Proceedings / Edition 1, Author: Andrei Voronkov
Title: Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings / Edition 1, Author: Lars-Henrik Eriksson
Title: Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings / Edition 1, Author: Andrei Voronkov
Title: Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings / Edition 1, Author: Helene Kirchner
Title: Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings / Edition 1, Author: Gerard Comyn

Pagination Links