Found 46 results for "Andrei Voronkov"
Handbook of Automated Reasoning
by Andrei Voronkov
Type theory is a language for formalizing mathematics which was invented by Bertrand Russell [Russell 1908].
Handbook of Automated Reasoning
by Andrei Voronkov
With the ready availability of serious computer power, deductive reasoning, especially as embodied in mathematics, prese...
Automated Reasoning
by Andrei Voronkov
With the ready availability of serious computer power, deductive reasoning, especially as embodied in mathematics, prese...
Logic for programming, artificial intelligence, and reasonin...
by Matthias Baaz, Andrei Voronkov
Logic for Programming, Artificial Intelligence, and Reasonin...
by Andrei Voronkov,Geoff Sutcliffe
Logic for Programming, Artificial Intelligence, and Reasonin...
by Andrei Voronkov,Miki Hermann
Logic for Programming, Artificial Intelligence, and Reasonin...
by Andrei Voronkov,Franz Baader
Handbook of Automated Reasoning
by Robinson, Alan, Andrei Voronkov
With the ready availability of serious computer power, deductive reasoning, especially as embodied in mathematics, prese...
Logic for programming artificial intelligence and reasoning
by Moshe Y. Vardi, Andrei Voronkov
Description logics (DLs) [1] are a family of knowledge representation languages which can be used to represent the termi...
Logic for Programming, Artificial Intelligence, and Reasonin...
by Ken McMillan, Aart Middeldorp
Logic for programming and automated reasoning
by Harald Ganzinger, David McAllester
A notation often used in informal mathematical proofs is ellipsis (the dots in a1 + ... + an).
Handbook Of Automated Reasoning
by J. Robinson, Alan Robinson
With the ready availability of serious computer power, deductive reasoning, especially as embodied in mathematics, prese...