Title: P-Functions and Boolean Matrix Factorization: A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms, Author: A. Thayse
Title: Logic Minimization Algorithms for VLSI Synthesis / Edition 1, Author: Robert K. Brayton
Title: Logic Programming: A Classified Bibliography, Author: I. Balbin
Title: Meta-Programming in Logic Programming, Author: Harvey Abramson
Title: Foundations of Equational Logic Programming, Author: Steffen Hölldobler
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: Integrating Functional and Temporal Domains in Logic Design: The False Path Problem and Its Implications / Edition 1, Author: Patrick C. McGeer
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: Sequential Logic Synthesis, Author: Pranav Ashar
Title: Sequential Logic Testing and Verification / Edition 1, Author: Abhijit Ghosh
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 Programming - New Frontiers, Author: D.R. Brough

Pagination Links