- 5 Risultati
prezzo più basso: € 17,95, prezzo più alto: € 64,19, prezzo medio: € 41,02
1
Ordina
da lehmanns.de
€ 64,19
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Kai Brünnler; George Metcalfe:

Automated Reasoning with Analytic Tableaux and Related Methods - edizione con copertina flessibile

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 …

Costi di spedizione:sofort lieferbar. (EUR 0.00)
Chiudere (X)
2
Automated Reasoning with Analytic Tableaux and Related Methods - Brünnler, Kai|Metcalfe, George
Ordina
da AbeBooks.de
€ 20,70
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato

Brünnler, Kai|Metcalfe, George:

Automated Reasoning with Analytic Tableaux and Related Methods - edizione con copertina flessibile

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 …

NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 5 (von 5)]
Chiudere (X)
3
Automated Reasoning with Analytic Tableaux and Related Methods - Bruennler, Kai Metcalfe, George
Ordina
da booklooker.de
€ 17,95
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Bruennler, Kai Metcalfe, George:
Automated Reasoning with Analytic Tableaux and Related Methods - Prima edizione

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 …

Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
Chiudere (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
Ordina
da booklooker.de
€ 43,14
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
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 - 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 …

Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
Chiudere (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
Ordina
da booklooker.de
€ 59,10
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
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 - 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 …

Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
Automated Reasoning with Analytic Tableaux and Related Methods
Autore:
Titolo:
ISBN:

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.

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 (Rome)
Pagina di dettaglio ultima modifica in 2024-02-23T17:35:19+01:00 (Rome)
ISBN/EAN: 9783642221187

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 report

Altri libri che potrebbero essere simili a questo:

Ultimo libro simile:
9783030290252 Automated Reasoning with Analytic Tableaux and Related Methods (Herausgegeben:Cerrito, Serenella; Popescu, Andrei)

< Per archiviare...