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… Altro …
lehmanns.de Costi di spedizione: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… Altro …
AbeBooks.de moluna, Greven, Germany [73551232] [Rating: 5 (von 5)] NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) Details... |
2011, ISBN: 9783642221187
edizione con copertina flessibile
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Up-to-date resultsFast track conference proceedingsState-of-the-art reportThis book constitutes the refereed proceedings o… Altro …
booklooker.de |
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings - libri usati
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-… Altro …
booklooker.de |
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings - libri usati
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… Altro …
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… Altro …
Brünnler, Kai|Metcalfe, George:
Automated Reasoning with Analytic Tableaux and Related Methods - edizione con copertina flessibile2011, ISBN: 3642221181
[EAN: 9783642221187], Neubuch, [PU: Springer Berlin Heidelberg], EDV THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING INTELLIGENZ KüNSTLICHE KI - AI ROBOTER ROBOTIK INDUSTRIEROBOTER MATHEMA… Altro …
2011
ISBN: 9783642221187
edizione con copertina flessibile
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Up-to-date resultsFast track conference proceedingsState-of-the-art reportThis book constitutes the refereed proceedings o… Altro …
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings - libri usati
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-… Altro …
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings - libri usati
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… Altro …
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - Automated Reasoning with Analytic Tableaux and Related Methods
EAN (ISBN-13): 9783642221187
ISBN (ISBN-10): 3642221181
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2011
Editore: Springer Berlin
277 Pagine
Peso: 0,447 kg
Lingua: Englisch
Libro nella banca dati dal 2007-04-14T12:53:59+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-02-23T17:35:19+01:00 (Zurich)
ISBN/EAN: 3642221181
ISBN - Stili di scrittura alternativi:
3-642-22118-1, 978-3-642-22118-7
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : brunn, metcalf, georg brun, springer kai, metcalfe
Titolo del libro: table, bern, automated reasoning with analytic tableaux, welcome switzerland, tableau, tablea, kai
Dati dell'editore
Autore: Kai Brünnler; George Metcalfe
Titolo: 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
Editore: Springer; Springer Berlin
279 Pagine
Anno di pubblicazione: 2011-06-22
Berlin; Heidelberg; DE
Lingua: Inglese
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 reportAltri libri che potrebbero essere simili a questo:
Ultimo libro simile:
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)
< Per archiviare...