- 5 Ergebnisse
Kleinster Preis: € 17,95, größter Preis: € 64,19, Mittelwert: € 41,02
1
Bestellen
bei lehmanns.de
€ 64,19
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Kai Brünnler; George Metcalfe:

Automated Reasoning with Analytic Tableaux and Related Methods - Taschenbuch

2011, ISBN: 9783642221187

20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings, Buch, Softcover, This book constitutes the refereed proceedings of the 20th International Con… Mehr…

Versandkosten:sofort lieferbar. (EUR 0.00)
zuklappen (X)
2
Automated Reasoning with Analytic Tableaux and Related Methods - Brünnler, Kai|Metcalfe, George
Bestellen
bei AbeBooks.de
€ 20,70
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Brünnler, Kai|Metcalfe, George:

Automated Reasoning with Analytic Tableaux and Related Methods - Taschenbuch

2011, ISBN: 3642221181

[EAN: 9783642221187], Neubuch, [PU: Springer Berlin Heidelberg], EDV THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING INTELLIGENZ KüNSTLICHE KI - AI ROBOTER ROBOTIK INDUSTRIEROBOTER MATHEMA… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 5 (von 5)]
zuklappen (X)
3
Automated Reasoning with Analytic Tableaux and Related Methods - Bruennler, Kai Metcalfe, George
Bestellen
bei booklooker.de
€ 17,95
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Bruennler, Kai Metcalfe, George:
Automated Reasoning with Analytic Tableaux and Related Methods - Erstausgabe

2011

ISBN: 9783642221187

Taschenbuch

[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Up-to-date resultsFast track conference proceedingsState-of-the-art reportThis book constitutes the refereed proceedings o… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
zuklappen (X)
4
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings - Brünnler, Kai und George Metcalfe
Bestellen
bei booklooker.de
€ 43,14
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Brünnler, Kai und George Metcalfe:
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings - gebrauchtes Buch

2011, ISBN: 9783642221187

[PU: Springer Berlin], Neubindung, Buchrücken leicht eingerissen, Ausg. 2011 10842732/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2011, Banküberweisung, PayPal, Klarna-… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
zuklappen (X)
5
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings - Brünnler, Kai und George Metcalfe
Bestellen
bei booklooker.de
€ 59,10
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Brünnler, Kai und George Metcalfe:
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings - gebrauchtes Buch

2011, ISBN: 9783642221187

[PU: Springer Berlin], Neubindung, Buchrücken leicht eingerissen, Ausg. 2011 10842732/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2011, Banküberweisung, Kreditkarte, Pa… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
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 with Analytic Tableaux and Related Methods
Autor:
Titel:
ISBN-Nummer:

9783642221187


This book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011, held in Bern, Switzerland, in July 2011. The 16 revised research papers presented together with 2 system descriptions were carefully reviewed and selected from 34 submissions. The papers cover many topics in the wide range of applications of tableaux and related methods such as analytic tableaux for various logics, related techniques and concepts, related methods, new calculi and methods for theorem proving in classical and non-classical logics, as well as systems, tools, implementations and applications; all with a special focus on hardware and software verifications, semantic technologies, and knowledge engineering.

Detailangaben zum Buch - Automated Reasoning with Analytic Tableaux and Related Methods


EAN (ISBN-13): 9783642221187
ISBN (ISBN-10): 3642221181
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2011
Herausgeber: Springer Berlin
277 Seiten
Gewicht: 0,447 kg
Sprache: Englisch

Buch in der Datenbank seit 2007-04-14T12:53:59+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-02-23T17:35:19+01:00 (Berlin)
ISBN/EAN: 9783642221187

ISBN - alternative Schreibweisen:
3-642-22118-1, 978-3-642-22118-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: brunn, metcalf, georg brun, springer kai, metcalfe
Titel des Buches: table, bern, automated reasoning with analytic tableaux, welcome switzerland, tableau, tablea, kai

Daten vom Verlag:

Autor/in: Kai Brünnler; George Metcalfe
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Automated Reasoning with Analytic Tableaux and Related Methods - 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings
Verlag: Springer; Springer Berlin
279 Seiten
Erscheinungsjahr: 2011-06-22
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VIII, 279 p. 40 illus., 4 illus. in color.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Informatik; connection calculus; decision procedures; first-order logic; hybrid logic; proof theory; Artificial Intelligence; Formal Languages and Automata Theory; Programming Techniques; Software Engineering; Computer Science Logic and Foundations of Programming; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; Software Engineering; EA

Up-to-date results Fast track conference proceedings State-of-the-art report

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783030290252 Automated Reasoning with Analytic Tableaux and Related Methods (Herausgegeben:Cerrito, Serenella; Popescu, Andrei)

< zum Archiv...