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 International Publishing AG
SKU: 02735047
Price: 20246 HUF
Availability: InStock
Author: Stéphane Demri
ISBN: 9783319085869

7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

Stéphane Demri

Deepak Kapur

Christoph Weidenbach

Language

English

Book Paperback

Libristo code: 02735047

Publishers Springer International Publishing AG, August 2014

This book constitutes the refereed proceedings of the 7th International Joint Conference on Automate... Full description

Libristo code: 02735047

136 b

20 246 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Autonomía de la escuela : principios y propuestas Gadotti (BR)

Paperback

7 128 Ft

Skoro modlitby Karel Čapek

Hardback

3 028 Ft

Wolves Melissa Rilling

Paperback

6 395 Ft

Život dítěte Kateřina Janouchová

Hardback

7 767 Ft

Nerv se Belastung Bei Industrieller Arbeit Unter Zeitdruck Otto Graf

Paperback

20 801 Ft

UC Helmut Krausser

Paperback

6 188 Ft

Bitcoin: Geld ohne Banken - ist das möglich? Dirk Mölleken

Paperback

14 105 Ft

Christan Hoffmann Von Hoffmannswaldaus "Verganglichkeit Der Schonheit. Analyse Der Struktur, Antithetik Und Stilmittel Jesse Bochert

Paperback

6 380 Ft

Woman as Divine Mariam Baker

Paperback

5 351 Ft

Histoire de la Revolution Francaise Adolf Korell

Paperback

15 116 Ft

Definičný obor funkcií, I. diel Marián Olejár

Paperback

1 180 Ft

Aile Katılımlı Performans Goerevleri Akay Yasin

Paperback

28 074 Ft

Grundkonzeptionen Der Stabilisierungspolitik Horst Friedrich

Paperback

20 801 Ft

Prostranstvennyj analiz raznoobraziya lesnogo rastitetel'nogo pokrova Kim Thoa Fam Thi

Paperback

19 324 Ft

Deutsche Revue Richard Fleischer

Paperback

16 179 Ft

Kreikan kielioppi Carl Johan Lindeqvist

Paperback

9 526 Ft

This book constitutes the refereed proceedings of the 7th International Joint Conference on Automated Reasoning, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 26 revised full research papers and 11 system descriptions presented together with 3 invited talks were carefully reviewed and selected from 83 submissions. The papers have been organized in topical sections on HOL, SAT and QBF, SMT, equational reasoning, verification, proof theory, modal and temporal reasoning, SMT and SAT, modal logic, complexity, description logics and knowledge representation and reasoning.