Reading Length
Home
Speed Tests
Login
Dominique Snyers
Identifiers
Open Library
OL6253320A
Top Subjects
Algorithms. (1)
Logic programming. (1)
Automatic theorem proving. (1)
Books by Dominique Snyers
Total count: 1
From logic design to logic programming
theorem proving techniques and P-functions
Springer-Verlag
1987-01-01
