Logic Programming
Logic Programming
J. Andrews
,
James H. Andrews
Details
OL Work ID
OL4032312W
Subjects
Automatic theorem proving
Logic programming
Programming languages (Electronic computers)
Semantics
Proof theory
Find this book
Open Library