-
Logic Programming Systematic Program Development
-
Inovácia '86 zborník prednášok : Žilina 22.-23.4.1986
-
Logic Programming and Databases
-
Logic programming and databases /
-
Microprocessors and programmed logic
-
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 /
-
Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR ´98, Manchester UK, June 1998 /
-
Programming languages implementation and logic programming : Proceedings : Konf. International workshop PLILP'88, Orléans, France, 16.- 18. May 1988 /
-
The logical basis for computer programming : Vol.II /
-
Explanation-Based Transformation of Logic Programs
-
Conpar 86 /
-
SIAP '86
-
Scanning - tunneling - microscopy '86 : Proceedings of the 1.international conference on STM'86./ Santiago de Compostela, Spain, 14.-18.7.1986
-
The Logical Basis for Computer Programming : Volume II. Deductive Systems /
-
Parcella '86 : Proceedings of the 2. international workshop : Konf. Parallel processing by cellular automata and arrays held, Berlin, GDR, 9.- 11. Sept. 1986
-
LOGIC 2019 Proceedings of the 4th Logistics International Conference, 23-25 May 2019, (Belgrade, Serbia)
-
Logic programming. Prolog and ist applications : Handbook and video /