Recently viewed products

Dov M. Gabbay

View as Grid List
Sort by
Display per page
65 results

Goal-Directed Proof Theory

Dov M. Gabbay

9789048155262
Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The meth...
€137.00

Handbook of Defeasible Reasoning and Uncertainty Management Systems

Dov M. Gabbay

9780792366720
Algorithms for Uncertainty and Defeasible Reasoning a cura di Dov M. Gabbay a cura di Philippe Smets
€268.30

Handbook of Defeasible Reasoning and Uncertainty Management Systems

Dov M. Gabbay

9789048156030
Algorithms for Uncertainty and Defeasible Reasoning a cura di Dov M. Gabbay a cura di Philippe Smets
€272.90

Handbook of Logic in Artificial Intelligence and Logic Programming

Dov M. Gabbay

9780198537465
Volume 2: Deduction Methodologies di (autore) Dov M. Gabbay di (autore) J. A. Robinson di (autore) Christopher J. Hogger
€713.00

Handbook of Logic in Artificial Intelligence and Logic Programming

Dov M. Gabbay

9780198537472
Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning di (autore) Dov M. Gabbay di (autore) J. A. Robinson di (autore) Christopher J. Hogger
€786.20

Handbook of Philosophical Logic

Dov M. Gabbay

9789400765993
Volume 17 a cura di Dov M. Gabbay a cura di Franz Guenthner
€132.00

Handbook of Philosophical Logic

Dov M. Gabbay

9781402001390
A cura di Dov M. Gabbay a cura di Franz Guenthner
€268.80

Handbook of Philosophical Logic

Dov M. Gabbay

9781402002359
A cura di Dov M. Gabbay a cura di Franz Guenthner
€268.80