Logic Programming
Logic Programming
Christoph Beierle
Details
OL Work ID
OL8131944W
Subjects
Logic programming
Formal methods (Computer science)
Find this book
Goodreads
Open Library