Computational logic
Computational logic
Robert Kowalski
,
Fariba Sadri
Details
OL Work ID
OL16934146W
Subjects
Logic programming
Automatic theorem proving
Logic programming languages
Programming languages (electronic computers)
Find this book
Open Library