12 works Add another?
Most Editions
Most Editions
First Published
Most Recent
Top Rated
Reading Log
Trending
Random
Subjects
Artificial intelligence, Computer science, Congresses, Logic design, Artificial Intelligence (incl. Robotics), Automatic theorem proving, Computer logic, Database management, Funktionale Programmiersprache, Horn-Klausel, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Techniques, Software engineeringID Numbers
- OLID: OL3317530A
Links outside Open Library
No links yet. Add one?





