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… Más…
lehmanns.de Gastos de envío: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… Más…
AbeBooks.de moluna, Greven, Germany [73551232] [Rating: 5 (von 5)] NEW BOOK. Gastos de envío:Versandkostenfrei. (EUR 0.00) Details... |
2011, ISBN: 9783642221187
Pasta blanda
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Up-to-date resultsFast track conference proceedingsState-of-the-art reportThis book constitutes the refereed proceedings o… Más…
booklooker.de |
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings - libro usado
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-… Más…
booklooker.de |
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings - libro usado
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… Más…
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… Más…
Brünnler, Kai|Metcalfe, George:
Automated Reasoning with Analytic Tableaux and Related Methods - Pasta blanda2011, ISBN: 3642221181
[EAN: 9783642221187], Neubuch, [PU: Springer Berlin Heidelberg], EDV THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING INTELLIGENZ KüNSTLICHE KI - AI ROBOTER ROBOTIK INDUSTRIEROBOTER MATHEMA… Más…
2011
ISBN: 9783642221187
Pasta blanda
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Up-to-date resultsFast track conference proceedingsState-of-the-art reportThis book constitutes the refereed proceedings o… Más…
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings - libro usado
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-… Más…
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings - libro usado
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… Más…
Datos bibliográficos del mejor libro coincidente
Autor: | |
Título: | |
ISBN: |
Detalles del libro - Automated Reasoning with Analytic Tableaux and Related Methods
EAN (ISBN-13): 9783642221187
ISBN (ISBN-10): 3642221181
Tapa dura
Tapa blanda
Año de publicación: 2011
Editorial: Springer Berlin
277 Páginas
Peso: 0,447 kg
Idioma: Englisch
Libro en la base de datos desde 2007-04-14T12:53:59+02:00 (Madrid)
Página de detalles modificada por última vez el 2024-02-23T17:35:19+01:00 (Madrid)
ISBN/EAN: 3642221181
ISBN - escritura alterna:
3-642-22118-1, 978-3-642-22118-7
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: brunn, metcalf, georg brun, springer kai, metcalfe
Título del libro: table, bern, automated reasoning with analytic tableaux, welcome switzerland, tableau, tablea, kai
Datos del la editorial
Autor: Kai Brünnler; George Metcalfe
Título: 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
Editorial: Springer; Springer Berlin
279 Páginas
Año de publicación: 2011-06-22
Berlin; Heidelberg; DE
Idioma: Inglés
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 reportMás, otros libros, que pueden ser muy parecidos a este:
Último libro similar:
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)
< para archivar...