
Predicate Calculus and Program Semantics
Carel S. Scholten, Edsger W. Dijkstra
₹6,621

2nd
Elsevier Science Ltd · 1988
Free delivery. Nothing extra to pay at checkout.
Published by Elsevier Science Ltd in 1988, Natural Language Understanding and Logic Programming: 2nd by Veronica Dahl runs to 353 pages.
The book deals with Logic programming, Congresses, Semantics and Programming languages (Electronic computers).