Handbook of Tableau Methods / M. D'Agostino (u. a.) / Taschenbuch / Paperback / viii / Englisch / 2010 / Springer Netherland / EAN 9789048151844 - pocketboek
2010, ISBN: 9789048151844
gebonden uitgave
[ED: Taschenbuch], [PU: Springer Netherland], Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. A logic can be characterised i… Meer...
booklooker.de |
Handbook of Tableau Methods | M. D'Agostino (u. a.) | Taschenbuch | Paperback | viii | Englisch | 2010 | Springer Netherland | EAN 9789048151844 - pocketboek
2010, ISBN: 9789048151844
gebonden uitgave
[ED: Taschenbuch], [PU: Springer Netherland], Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. A logic can be characterised i… Meer...
booklooker.de |
Handbook of Tableau Methods | M. D'Agostino (u. a.) | Taschenbuch | Paperback | VIII | Englisch | 2010 | Springer Netherland | EAN 9789048151844 - pocketboek
2010, ISBN: 9789048151844
gebonden uitgave
[ED: Taschenbuch], [PU: Springer Netherland], Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. A logic can be characterised i… Meer...
booklooker.de |
Handbook of Tableau Methods / M. D'Agostino (u. a.) / Taschenbuch / Paperback / VIII / Englisch / 2010 / Springer Netherland / EAN 9789048151844 - pocketboek
2010, ISBN: 9789048151844
gebonden uitgave
[ED: Taschenbuch], [PU: Springer Netherland], Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. A logic can be characterised i… Meer...
booklooker.de |
2010, ISBN: 9048151848
gebonden uitgave
Softcover reprint of hardcover 1st ed. 1999 Kartoniert / Broschiert Mathematische Grundlagen, Logik, Mathematik für Informatiker, Künstliche Intelligenz, algorithms; ArtificialIntellige… Meer...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Handbook of Tableau Methods / M. D'Agostino (u. a.) / Taschenbuch / Paperback / viii / Englisch / 2010 / Springer Netherland / EAN 9789048151844 - pocketboek
2010, ISBN: 9789048151844
gebonden uitgave
[ED: Taschenbuch], [PU: Springer Netherland], Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. A logic can be characterised i… Meer...
D'Agostino, M.:
Handbook of Tableau Methods | M. D'Agostino (u. a.) | Taschenbuch | Paperback | viii | Englisch | 2010 | Springer Netherland | EAN 9789048151844 - pocketboek2010, ISBN: 9789048151844
gebonden uitgave
[ED: Taschenbuch], [PU: Springer Netherland], Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. A logic can be characterised i… Meer...
Handbook of Tableau Methods | M. D'Agostino (u. a.) | Taschenbuch | Paperback | VIII | Englisch | 2010 | Springer Netherland | EAN 9789048151844 - pocketboek
2010
ISBN: 9789048151844
gebonden uitgave
[ED: Taschenbuch], [PU: Springer Netherland], Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. A logic can be characterised i… Meer...
Handbook of Tableau Methods / M. D'Agostino (u. a.) / Taschenbuch / Paperback / VIII / Englisch / 2010 / Springer Netherland / EAN 9789048151844 - pocketboek
2010, ISBN: 9789048151844
gebonden uitgave
[ED: Taschenbuch], [PU: Springer Netherland], Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. A logic can be characterised i… Meer...
2010, ISBN: 9048151848
gebonden uitgave
Softcover reprint of hardcover 1st ed. 1999 Kartoniert / Broschiert Mathematische Grundlagen, Logik, Mathematik für Informatiker, Künstliche Intelligenz, algorithms; ArtificialIntellige… Meer...
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Handbook of Tableau Methods
EAN (ISBN-13): 9789048151844
ISBN (ISBN-10): 9048151848
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Dagostino, M. Springer
680 Bladzijden
Gewicht: 1,011 kg
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2011-06-05T13:57:35+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2024-04-19T09:54:29+02:00 (Amsterdam)
ISBN/EAN: 9789048151844
ISBN - alternatieve schrijfwijzen:
90-481-5184-8, 978-90-481-5184-4
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: hahn joachim, joachim pose, hahnl, reine marcel, dov gabbay, agostino, reiner, smullyan
Titel van het boek: tableau, the ever never handbook, tablea, methods, agostino
Gegevens van de uitgever
Auteur: M. D'Agostino; Dov M. Gabbay; Reiner Hähnle; J. Posegga
Titel: Handbook of Tableau Methods
Uitgeverij: Springer; Springer Netherland
670 Bladzijden
Verschijningsjaar: 2010-12-07
Dordrecht; NL
Gedrukt / Gemaakt in
Taal: Engels
213,99 € (DE)
219,99 € (AT)
236,00 CHF (CH)
POD
VIII, 670 p.
BC; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; algorithms; artificial intelligence; computer; computer science; intelligence; linguistics; logic; predicate logic; programming; proving; Logic; Mathematical Logic and Foundations; Symbolic and Algebraic Manipulation; Artificial Intelligence; Mathematik: Logik; Mathematische Grundlagen; Mathematik für Informatiker; Künstliche Intelligenz; BB; EA
Tableau Methods for Classical Propositional Logic.- First-order Tableau Methods.- Equality and other Theories.- Tableaux for Intuitionistic Logics.- Tableau Methods for Modal and Temporal Logics.- Tableau Methods for Substructural Logics.- Tableaux for Nonmonotonic Logics.- Tableaux for Many-valued Logics.- Implementing Semantic Tableaux.- A Bibliography on Analytic Tableaux Theorem Proving.Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9789401717540 Handbook of Tableau Methods (Jack A. Clarke)
< naar Archief...