Skip to content
Vinony

Computational logic

by Fariba Sadri, Robert Kowalski

Cover of Computational logic

No description available.

Logic programmingAutomatic theorem provingLogic programming languagesProgramming languages (electronic computers)