Skip to content
Vinony

Handbook of Automated Reasoning

by Andrei Voronkov

Cover of Handbook of Automated Reasoning
Popularity 2

No description available.

Artificial intelligenceKnowledge representation (information theory)Deductive databasesLogic programmingFunctional programming (computer science)
Handbook of Automated Reasoning by Andrei Voronkov — book · Vinony