Skip to content
Vinony

Handbook of Automated Reasoning

by Robinson, Alan, Andrei Voronkov

Cover of Handbook of Automated Reasoning

No description available.

Artificial intelligenceKnowledge representation (information theory)Logic programmingFunctional programming (computer science)Computer science