Cover of Logic Programming

Logic Programming

by James H. Andrews, J. Andrews

Automatic theorem provingLogic programmingProgramming languages (Electronic computers)SemanticsProof theory

For young readers

Book data: Open Library