Handbook of Automated Reasoning

BOCKMAYR A. AND WEISPFENNING V. ( 2001 ) , Solving numerical constraints , in A. Robinson and A. Voronkov , eds , ' Handbook of Automated Reasoning ' , Vol . I , Elsevier Science , chapter 12 , pp . 749–842 .

Handbook of Automated Reasoning

Handbook of Automated Reasoning.

More Books:

Handbook of Automated Reasoning
Language: en
Pages: 2122
Authors: Alan J.A. Robinson, Andrei Voronkov
Categories: Computers
Type: BOOK - Published: 2001-07-05 - Publisher: Elsevier

Handbook of Automated Reasoning.
Handbook of Automated Reasoning
Language: en
Pages: 2128
Authors: Alan J.A. Robinson, Andrei Voronkov
Categories: Computers
Type: BOOK - Published: 2001-06-22 - Publisher: Elsevier

Handbook of Automated Reasoning
Handbook of Practical Logic and Automated Reasoning
Language: en
Pages: 681
Authors: John Harrison
Categories: Computers
Type: BOOK - Published: 2009-03-12 - Publisher: Cambridge University Press

One-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.
Handbook of Philosophical Logic
Language: en
Pages: 372
Authors: D.M. Gabbay, Franz Guenthner
Categories: Philosophy
Type: BOOK - Published: 2006-01-17 - Publisher: Springer Science & Business Media

The first edition of the Handbook of Philosophical Logic (four volumes) was published in the period 1983-1989 and has proven to be an invaluable reference work to both students and researchers in formal philosophy, language and logic. The second edition of the Handbook is intended to comprise some 18 volumes
Automated Deduction - CADE-18
Language: en
Pages: 540
Authors: Andrei Voronkov
Categories: Computers
Type: BOOK - Published: 2003-08-02 - Publisher: Springer

The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C- ference on Automated Deduction (CADE-18) held on July 27–30th, 2002, at the University of Copenhagen as part of the Federated Logic Conference (FLoC 2002). Despite a large number of deduction-related conferences springing