Communiqués par D. Snyers

Cover for D. Snyers · From Logic Design to Logic Programming: Theorem Proving Techniques and P-functions - Lecture Notes in Computer Science (Paperback Book) (1987)
Paperback Book
1987 edition
From Logic Design to Logic Progr...
D. Snyers