Snyers, Dominique. Thayse, Andre.
From Logic Design to Logic Programming Theorem Proving Techniques and P-Functions - Berlin Springer Verlag 1987 - 125 - Lecture notes in computer science ; 00271 .
3540182179
Logic Design
Logic Programming
681 LNCS
From Logic Design to Logic Programming Theorem Proving Techniques and P-Functions - Berlin Springer Verlag 1987 - 125 - Lecture notes in computer science ; 00271 .
3540182179
Logic Design
Logic Programming
681 LNCS