Handbook of Tableau Methods - gebonden uitgave, pocketboek
1999, ISBN: 0792356276
[EAN: 9780792356271], Neubuch, [SC: 12.35], [PU: Springer Netherlands], INTELLIGENZ / KÜNSTLICHE INTELLIGENZ; KI; - AI; LOGIK; PHILOSOPHIE ALGORITHMS; ARTIFICIALINTELLIGENCE; COMPUTER; CO… Meer...
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Verzendingskosten: EUR 12.35 Details... |
ISBN: 9780792356271
Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. A logic can be characterised in many different ways. Traditionally, a logic … Meer...
BarnesandNoble.com new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten Details... |
1999, ISBN: 0792356276
[EAN: 9780792356271], Neubuch, [PU: Springer, Netherlands], Language: English. Brand new Book. Recent years have been blessed with an abundance of logical systems, arising from a multitud… Meer...
AbeBooks.de The Book Depository, London, United Kingdom [54837791] [Rating: 5 (von 5)] NEW BOOK. Verzendingskosten: EUR 0.59 Details... |
1999, ISBN: 0792356276
[EAN: 9780792356271], Neubuch, [PU: Springer, Netherlands], Language: English. Brand new Book. Recent years have been blessed with an abundance of logical systems, arising from a multitud… Meer...
AbeBooks.de Book Depository hard to find, London, United Kingdom [63688905] [Rating: 5 (von 5)] NEW BOOK. Verzendingskosten: EUR 7.03 Details... |
Handbook of Tableau Methods - gebonden uitgave, pocketboek
1999, ISBN: 0792356276
1999 Gebundene Ausgabe Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Logik, Philosophie / Logik, Mathematische Grundlagen, Mathematik für Informatiker, Künstlic… 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 - gebonden uitgave, pocketboek
1999, ISBN: 0792356276
[EAN: 9780792356271], Neubuch, [SC: 12.35], [PU: Springer Netherlands], INTELLIGENZ / KÜNSTLICHE INTELLIGENZ; KI; - AI; LOGIK; PHILOSOPHIE ALGORITHMS; ARTIFICIALINTELLIGENCE; COMPUTER; CO… Meer...
ISBN: 9780792356271
Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. A logic can be characterised in many different ways. Traditionally, a logic … Meer...
1999
ISBN: 0792356276
[EAN: 9780792356271], Neubuch, [PU: Springer, Netherlands], Language: English. Brand new Book. Recent years have been blessed with an abundance of logical systems, arising from a multitud… Meer...
1999, ISBN: 0792356276
[EAN: 9780792356271], Neubuch, [PU: Springer, Netherlands], Language: English. Brand new Book. Recent years have been blessed with an abundance of logical systems, arising from a multitud… Meer...
Handbook of Tableau Methods - gebonden uitgave, pocketboek
1999, ISBN: 0792356276
1999 Gebundene Ausgabe Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Logik, Philosophie / Logik, Mathematische Grundlagen, Mathematik für Informatiker, Künstlic… Meer...
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Handbook of Tableau Methods M. D'Agostino Editor
EAN (ISBN-13): 9780792356271
ISBN (ISBN-10): 0792356276
Gebonden uitgave
Verschijningsjaar: 2007
Uitgever: Springer Netherlands Core >2 >T
680 Bladzijden
Gewicht: 1,169 kg
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2007-04-22T10:40:05+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2024-03-04T16:24:04+01:00 (Amsterdam)
ISBN/EAN: 0792356276
ISBN - alternatieve schrijfwijzen:
0-7923-5627-6, 978-0-7923-5627-1
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: marcello, joachim hahn, joachim pose, hahnl, reine marcel, dov gabbay, agostino, reiner, smullyan
Titel van het boek: handbook, tableau, tablea, methods
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: 1999-03-31
Dordrecht; NL
Taal: Engels
213,99 € (DE)
219,99 € (AT)
236,00 CHF (CH)
Available
VIII, 670 p.
BB; 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; BC
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...