- 5 Ergebnisse
Kleinster Preis: € 52,96, größter Preis: € 57,71, Mittelwert: € 54,95
1
Automated Reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings - Bernhard Gramlich
Bestellen
bei ZVAB.com
€ 52,96
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Bernhard Gramlich:

Automated Reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings - Taschenbuch

2012, ISBN: 3642313647

[EAN: 9783642313646], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; INTELLIGENZ KÜNSTLICHE INTELLIGENZ; KI; - AI; MATHEMATIK INF… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
zuklappen (X)
2
Automated Reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings - Bernhard Gramlich
Bestellen
bei ZVAB.com
€ 57,71
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Bernhard Gramlich:

Automated Reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings - Taschenbuch

2012, ISBN: 3642313647

[EAN: 9783642313646], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; INTELLIGENZ KÜNSTLICHE INTELLIGENZ; KI; - AI; MATHEMATIK INF… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
zuklappen (X)
3
Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings Bernhard Gramlich Editor
Bestellen
bei BarnesandNoble.com
€ 54,99
Bestellen
Details und Versand
gesponserter Link
Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings Bernhard Gramlich Editor - neues Buch

2012

ISBN: 9783642313646

This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger o… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
zuklappen (X)
4
Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings - Gramlich, Bernhard (Herausgeber); Sattler, Ulrike (Herausgeber); Miller, Dale (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 55,60
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Gramlich, Bernhard (Herausgeber); Sattler, Ulrike (Herausgeber); Miller, Dale (Herausgeber):
Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings - neues Buch

2012, ISBN: 3642313647

2012 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Mathematik / Informatik, Compu… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
5
Automated Reasoning - Bernhard Gramlich; Dale Miller; Ulrike Sattler
Bestellen
bei lehmanns.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Bernhard Gramlich; Dale Miller; Ulrike Sattler:
Automated Reasoning - Erstausgabe

2012, ISBN: 9783642313646

Taschenbuch

6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2012

Versandkosten:Versand in 10-14 Tagen. (EUR 0.00)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Automated Reasoning
Autor:
Titel:
ISBN-Nummer:

9783642313646


This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), FTP (International Workshop on First-Order Theorem Proving), and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 32 revised full research papers and 9 system descriptions presented together with 3 invited talks were carefully reviewed and selected from 116 submissions. The papers address all aspects of automated reasoning, including foundations, implementations, and applications.

Detailangaben zum Buch - Automated Reasoning


EAN (ISBN-13): 9783642313646
ISBN (ISBN-10): 3642313647
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 20121031
Herausgeber: Springer Berlin
568 Seiten
Gewicht: 0,850 kg
Sprache: Englisch

Buch in der Datenbank seit 2007-11-09T12:02:08+01:00 (Zurich)
Detailseite zuletzt geändert am 2024-02-13T16:44:32+01:00 (Zurich)
ISBN/EAN: 9783642313646

ISBN - alternative Schreibweisen:
3-642-31364-7, 978-3-642-31364-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: gramlich, miller, dale, sattler, graml, sättler
Titel des Buches: international conference proceedings, automated reasoning, gram man, gram manch

Daten vom Verlag:

Autor/in: Bernhard Gramlich; Dale Miller; Ulrike Sattler
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings
Verlag: Springer; Springer Berlin
568 Seiten
Erscheinungsjahr: 2012-06-20
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XIV, 568 p. 90 illus.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; description logic; formal methods; model checking; rules; satisfiability; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Artificial Intelligence; Software Engineering; Mathematics of Computing; Numerical Analysis; Künstliche Intelligenz; Software Engineering; Mathematik für Informatiker; Numerische Mathematik; EA

This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), FTP (International Workshop on First-Order Theorem Proving), and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 32 revised full research papers and 9 system descriptions presented together with 3 invited talks were carefully reviewed and selected from 116 submissions. The papers address all aspects of automated reasoning, including foundations, implementations, and applications.
State-of-the-art research Fast-track conference proceedings Unique visibility
< zum Archiv...