Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Automated Reasoning with Analytic Tableaux and Related Methods
13 Angebote vergleichen
Preise | Okt. 17 | März 19 | Sep. 19 |
---|---|---|---|
Schnitt | € 59,49 | € 47,47 | € 51,30 |
Nachfrage |
Automated Reasoning with Analytic Tableaux and Related Methods (2017)
ISBN: 9783319669014 bzw. 331966901X, in Deutsch, Springer Shop, Taschenbuch, neu.
This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasília, Bazil, in September 2017. The 19 contributed papers presented in this volume were carefully reviewed and selected from 27 submissions.They are organized in topical sections named: Sequent systems; tableaux; transitive closure and cyclic proofs; formalization and complexity. Also included are papers of three invited speakers. Soft cover.
Automated Reasoning with Analytic Tableaux and Related Methods (2017)
ISBN: 9783319669021 bzw. 3319669028, in Deutsch, Springer Shop, neu, E-Book, elektronischer Download.
This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasília, Bazil, in September 2017. The 19 contributed papers presented in this volume were carefully reviewed and selected from 27 submissions.They are organized in topical sections named: Sequent systems; tableaux; transitive closure and cyclic proofs; formalization and complexity. Also included are papers of three invited speakers. eBook.
Automated Reasoning with Analytic Tableaux and Related Methods (2017)
ISBN: 9783319669021 bzw. 3319669028, in Deutsch, Springer, Springer, Springer, neu, E-Book, elektronischer Download.
This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasília, Bazil, in September 2017. The 19 contributed papers presented in this volume were carefully reviewed and selected from 27 submissions. They are organized in topical sections named: Sequent systems; tableaux; transitive closure and cyclic proofs; formalization and complexity. Also included are papers of three invited speakers.
Automated Reasoning with Analytic Tableaux and Related Methods (2017)
ISBN: 9783319669014 bzw. 331966901X, in Deutsch, neu.
This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasília, Bazil, in September 2017.The 19 contributed papers presented in this volume were carefully reviewed and selected from 27 submissions.They are organized in topical sections named: Sequent systems, tableaux, transitive closure and cyclic proofs, formalization and complexity. Also included are papers of three invited speakers.
Automated Reasoning with Analytic Tableaux and Related Methods - 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings (2017)
ISBN: 9783319669021 bzw. 3319669028, vermutlich in Englisch, Springer International Publishing, neu, E-Book, elektronischer Download.
Automated Reasoning with Analytic Tableaux and Related Methods: This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasilia, Bazil, in September 2017. The 19 contributed papers presented in this volume were carefully reviewed and selected from 27 submissions.They are organized in topical sections named: Sequent systems tableaux transitive closure and cyclic proofs formalization and complexity. Also included are papers of three invited speakers. Englisch, Ebook.
Automated Reasoning with Analytic Tableaux and Related Methods - 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings
ISBN: 9783319669014 bzw. 331966901X, in Deutsch, Springer-Verlag Gmbh, Taschenbuch, neu.
Automated Reasoning with Analytic Tableaux and Related Methods: This book constitutes the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasília, Bazil, in September 2017.The 19 papers presented in this volume were carefully reviewed and selected from 27 submissions. They were organized in topical sections named: Sequents systems tableaux transitive closure and cyclic proofs formalization and complexity. Englisch, Taschenbuch.
Automated Reasoning With Analytic Tableaux And Related Methods: 26th International Conference, Tableaux 2017, Brasilia, Brazil, Se (2017)
ISBN: 9783319669014 bzw. 331966901X, in Deutsch, Springer Nature, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Automated Reasoning with Analytic Tableaux and Related Methods (2017)
ISBN: 331966901X bzw. 9783319669014, in Deutsch, neu.
Gebr. - Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-2 (2017)
ISBN: 9783319669014 bzw. 331966901X, in Deutsch, Taschenbuch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen