Skip to content
Vinony

Logic Programming

by James H. Andrews, J. Andrews

Cover of Logic Programming

No description available.

Automatic theorem provingLogic programmingProgramming languages (Electronic computers)SemanticsProof theory
Logic Programming by James H. Andrews, J. Andrews — book · Vinony