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… More...
lehmanns.de Shipping costs:sofort lieferbar. (EUR 0.00) Details... |
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… More...
AbeBooks.de moluna, Greven, Germany [73551232] [Rating: 5 (von 5)] NEW BOOK. Shipping costs:Versandkostenfrei. (EUR 0.00) Details... |
2011, ISBN: 9783642221187
Paperback
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Up-to-date resultsFast track conference proceedingsState-of-the-art reportThis book constitutes the refereed proceedings o… More...
booklooker.de |
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings - used book
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-… More...
booklooker.de |
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings - used book
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… More...
booklooker.de |
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… More...
Brünnler, Kai|Metcalfe, George:
Automated Reasoning with Analytic Tableaux and Related Methods - Paperback2011, ISBN: 3642221181
[EAN: 9783642221187], Neubuch, [PU: Springer Berlin Heidelberg], EDV THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING INTELLIGENZ KüNSTLICHE KI - AI ROBOTER ROBOTIK INDUSTRIEROBOTER MATHEMA… More...
2011
ISBN: 9783642221187
Paperback
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Up-to-date resultsFast track conference proceedingsState-of-the-art reportThis book constitutes the refereed proceedings o… More...
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings - used book
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-… More...
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings - used book
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… More...
Bibliographic data of the best matching book
Author: | |
Title: | |
ISBN: |
Details of the book - Automated Reasoning with Analytic Tableaux and Related Methods
EAN (ISBN-13): 9783642221187
ISBN (ISBN-10): 3642221181
Hardcover
Paperback
Publishing year: 2011
Publisher: Springer Berlin
277 Pages
Weight: 0,447 kg
Language: Englisch
Book in our database since 2007-04-14T11:53:59+01:00 (London)
Detail page last modified on 2024-02-23T16:35:19+00:00 (London)
ISBN/EAN: 3642221181
ISBN - alternate spelling:
3-642-22118-1, 978-3-642-22118-7
Alternate spelling and related search-keywords:
Book author: brunn, metcalf, georg brun, springer kai, metcalfe
Book title: table, bern, automated reasoning with analytic tableaux, welcome switzerland, tableau, tablea, kai
Information from Publisher
Author: Kai Brünnler; George Metcalfe
Title: 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
Publisher: Springer; Springer Berlin
279 Pages
Publishing year: 2011-06-22
Berlin; Heidelberg; DE
Language: English
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 reportMore/other books that might be very similar to this book
Latest similar book:
9783030290252 Automated Reasoning with Analytic Tableaux and Related Methods (Herausgegeben:Cerrito, Serenella; Popescu, Andrei)
- 9783030290252 Automated Reasoning with Analytic Tableaux and Related Methods (Herausgegeben:Cerrito, Serenella; Popescu, Andrei)
- 9783319669014 Automated Reasoning with Analytic Tableaux and Related Methods (Renate A. Schmidt; Cláudia Nalon)
- 9783319243115 Automated Reasoning with Analytic Tableaux and Related Methods (Hans de Nivelle)
- 9783642405365 Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Pr (Dominique Larchey-Wendling)
- 9783540407874 Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings: 2796 (Lecture Notes in Computer Science) (Mayer, Marta Cialdea, Pirri, Fiora)
< to archive...