Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Automated Reasoning

Name: Automated Reasoning
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01559566
Price: 39740 HUF
Availability: InStock
Author: David Basin
ISBN: 9783540223450

Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings

David Basin

Michael Rusinowitch

Language

English

Book Paperback

Libristo code: 01559566

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, June 2004

This book constitutes the refereed proceedings of the Second International Joint Conference on Autom... Full description

Libristo code: 01559566

271 b

39 740 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Die Haut der Träume Raymond Queneau

Paperback

5 267 Ft

Luoghi, lingue, contatto. Italiano, dialetti e francoprovenzale in Puglia Alessandro Bitonti

Paperback

9 187 Ft

Wish, Asha et la bonne étoile 07 Walt Disney company

Paperback

3 332 Ft

PSYCHOANALÝZA VŠEDNOSTI Jan Stern

Book

3 582 Ft

Война и мир. Кн.2, [тт. 3, 4 Лев Толстой

Hardback

8 057 Ft

Acer japonicum Aurélien Gouttenoire

Paperback

5 678 Ft

LA ROSE ET LA BAGUE THACKERAY

Paperback

7 382 Ft

Et Sarah se libéra Spencer

Paperback

3 887 Ft

Havada Neler Olmus

Paperback

5 840 Ft

Tafelband Erich Nechtelberger

Hardback

45 877 Ft

Diagnose Der Pflanzen-Gattungen: Nach Der Neuesten Ausgabe Des Linneischen Sexualfystems (1792) Georg Adolph Suckow

Paperback

14 263 Ft

Nina: Calepin - Cadeau D'anniversaire Personnel De Licorne Pour Les Enfants Et Les Écoli?res Notes Magiques

Paperback

3 434 Ft

Erntezeit Inge Sander

Paperback

3 550 Ft

Voyage en Espagne Théophile Gautier

Paperback

3 962 Ft

Monstruario IÑAKI

Paperback

4 373 Ft

Catalogue Historique Des Generaux Francais, Connetables, Marechaux de France, Lieutenants Generaux De La Roque-L

Paperback

6 840 Ft

Endülüs Sultani Muriel Romana

Paperback

4 683 Ft

This book constitutes the refereed proceedings of the Second International Joint Conference on Automated Reasoning, IJCAR 2004, held in Cork, Ireland, in July 2004. IJCAR 2004 comprises CADE, CALCULEMUS, FroCoS, FTP, and TABLEAUX.The 26 revised full research papers and 6 revised system demonstrations presented together with 3 invited papers and a summary of a systems competition were carefully reviewed and selected from a total of 86 submissions. The papers are organized in topical sections on rewriting, saturation-based theorem proving, combination techniques, verification and systems, reasoning with finite structure, tableaux and non-classical logics, applications and systems, computer mathematics, interactive theorem proving, combinatorial reasoning, and higher-order reasoning.