İYTE Library Logo

Cover image for Handbook of automated reasoning. Volume II
Handbook of automated reasoning. Volume II
Title:
Handbook of automated reasoning. Volume II
Author:
Robinson, J. A. (John Alan)
ISBN:
9780080532790

9780444508133
Publication Information:
Amsterdam ; New York : Elsevier ; Cambridge, Mass. : MIT Press, ©2001.
Physical Description:
1 online resource (xxv, 963-2122 pages) : illustrations
Local Note:
O'Reilly
Subject Term:
Automatic theorem proving -- Handbooks, manuals, etc.

Qualitative reasoning -- Handbooks, manuals, etc.

Théorèmes -- Démonstration automatique -- Guides, manuels, etc.

Raisonnement qualitatif -- Guides, manuels, etc.

Automatic theorem proving. (OCoLC)fst00822777

Qualitative reasoning. (OCoLC)fst01084939
Genre:
Electronic books.

Handbooks and manuals. (OCoLC)fst01423877
Added Author:
Robinson, J. A. (John Alan)

Voronkov, Andrei, 1959-
Electronic Access:
https://go.oreilly.com/library-access/library/view/-/9780444508133/?ar
https://learning.oreilly.com/library/view/~/9780444508133/?ar
Holds: Copies:

İYTE Kütüphanesi © 2020
library@iyte.edu.tr
+90 (232) 750-6335
Gülbahçe Kampüsü - Urla, İzmir 35430 TR