-
Explanation-Based Transformation of Logic Programs
-
Lecture Notes in Computer Science : 8th International Workshop, LOPSTR´98 Manchester, UK, June 1998, Selected Papers
-
The Logic of Chemical Synthesis /
-
Logic Program Synthesis Using Schema Instantation in an Interactive Environment
-
Logic synthesis and verification algorithms /
-
VHDL: a logic synthesis approach /
-
VHDL. Coding and logic synthesis with synopsys
-
Logic synthesis for Asynchronous Controllers and Interfaces /
-
Logic and data bases /
-
Logic programming '86 : Konf. Proc. of the 5th conference, Tokyo, 23.- 26. June 1986 /
-
Logic Programming Systematic Program Development
-
Logic Programming and Databases
-
Logic programming and databases /
-
Microprocessors and programmed logic
-
Programming Languages Implementation and Logic Programming International Workshop PLILP '88. Orléans, France, May 16-18, 1988 Proceedings
-
Programming languages implementation and logic programming : Proceedings : Konf. International workshop PLILP'88, Orléans, France, 16.- 18. May 1988 /
-
Logic programming. Systematic program development /
-
Logical Foundations of Functional Programming
-
<The> logical Basis for Computer Programming
-
Mathematical logic and programming languages /
-
Logical Foundations of Functional Programming
-
Logical foundations of functional programming /
-
Logical Foundations of Functional Programming /
-
Logical Foundations of Functional Programming /