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…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
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…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
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…
BarnesandNoble.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
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…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
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
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
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…
Bernhard Gramlich:
Automated Reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings - Taschenbuch2012, 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…
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…
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…
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
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
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 (Vienna)
Detailseite zuletzt geändert am 2024-02-13T16:44:32+01:00 (Vienna)
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
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783030510534 Automated Reasoning (Herausgegeben:Peltier, Nicolas; Sofronie-Stokkermans, Viorica)
- 9783030510534 Automated Reasoning (Herausgegeben:Peltier, Nicolas; Sofronie-Stokkermans, Viorica)
- 9783642313653 Automated Reasoning (Bernhard Gramlich; Dale Miller; Ulrike Sattler)
- 9780262182218 Handbook of Automated Reasoning: v. 1 (Robinson, J. Alan, Voronkov, Andrei)
- 9780130544469 Automated Reasoning (Larry Wos, Ross Overbeek, Ewing Lusk, Jim Boyle)
< zum Archiv...