
Dual Tableaux: Foundations, Methodology, Case Studies Ewa Orlowska Buch Trends in Logic Englisch 2010 - gebonden uitgave, pocketboek
2010, ISBN: 9789400700048
[ED: Gebunden], [PU: Springer Netherland], This book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathematics and philosophy (such as modal, intuitionistic, relevant, and many-valued logics) and to various applied theories of computational logic (such as temporal reasoning, spatial reasoning, fuzzy-set-based reasoning, rough-set-based reasoning, order-of magnitude reasoning, reasoning about programs, threshold logics, logics of conditional decisions). The distinguishing feature of most of these applications is that the corresponding dual tableaux are built in a relational language which provides useful means of presentation of the theories. In this way modularity of dual tableaux is ensured. We do not need to develop and implement each dual tableau from scratch, we should only extend the relational core common to many theories with the rules specific for a particular theory., DE, [SC: 0.00], Neuware, gewerbliches Angebot, 523, [GW: 926g], Sofortüberweisung, PayPal, Banküberweisung
booklooker.de |

ISBN: 9789400700048
This book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathematics and philosophy (such as modal, intuitionistic, relevant, and many-valued logics) and to various applied theories of computational logic (such as temporal reasoning, spatial reasoning, fuzzy-set-based reasoning, rough-set-based reasoning, order-of magnitude reasoning, reasoning about programs, threshold logics, logics of conditional decisions). The distinguishing feature of most of these applications is that the corresponding dual tableaux are built in a relational language which provides useful means of presentation of the theories. In this way modularity of dual tableaux is ensured. We do not need to develop and implement each dual tableau from scratch, we should only extend the relational core common to many theories with the rules specific for a particular theory. Books List_Books
Indigo.ca new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten Details... |

Dual Tableaux: Foundations, Methodology, Case Studies (Trends in Logic (33), Band 36) - gebonden uitgave, pocketboek
2010, ISBN: 9789400700048
Springer, Gebundene Ausgabe, Auflage: 2011, 539 Seiten, Publiziert: 2010-11-30T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: 113 black & white illustrations, 8 black, 2 kg, Logik, Philosophie, Sozialwissenschaft, Kategorien, Bücher, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Programmiersprachen, Programmierung & Webdesign, Ingenieurwissenschaft & Technik, Naturwissenschaften & Technik, Mathematik, Politik & Geschichte, Logik & Sprache, Sachbücher, Genres, Fremdsprachige Bücher, Reine Mathematik, Springer, 2010
Amazon.de (Intern... Verzendingskosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |

Dual Tableaux: Foundations, Methodology, Case Studies (Trends in Logic (33), Band 36) - gebonden uitgave, pocketboek
2010, ISBN: 9789400700048
Springer, Gebundene Ausgabe, Auflage: 2011, 539 Seiten, Publiziert: 2010-11-30T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: 113 black & white illustrations, 8 black, 2 kg, Logik, Philosophie, Sozialwissenschaft, Kategorien, Bücher, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Programmiersprachen, Programmierung & Webdesign, Ingenieurwissenschaft & Technik, Naturwissenschaften & Technik, Mathematik, Politik & Geschichte, Logik & Sprache, Sachbücher, Genres, Fremdsprachige Bücher, Reine Mathematik, Springer, 2010
Amazon.de (Intern... ausverkauf Verzendingskosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
2010, ISBN: 9400700040
Gebundene Ausgabe Logik, Philosophie / Logik, Mathematik / Logik, Mathematik / Informatik, Computer, Theoretische Informatik, Geschichte, Programmier- und Skriptsprachen, allgemein, mit Schutzumschlag neu, [PU:Springer-Verlag GmbH; Springer Netherland]
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |


Dual Tableaux: Foundations, Methodology, Case Studies Ewa Orlowska Buch Trends in Logic Englisch 2010 - gebonden uitgave, pocketboek
2010, ISBN: 9789400700048
[ED: Gebunden], [PU: Springer Netherland], This book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in … Meer...
Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00)

ISBN: 9789400700048
This book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathematics and philosophy (such as modal, … Meer...
new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten

Dual Tableaux: Foundations, Methodology, Case Studies (Trends in Logic (33), Band 36) - gebonden uitgave, pocketboek
2010
ISBN: 9789400700048
Springer, Gebundene Ausgabe, Auflage: 2011, 539 Seiten, Publiziert: 2010-11-30T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: 113 black & white illustrations, 8 black, 2 kg, Logik, Philo… Meer...
Verzendingskosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)

Dual Tableaux: Foundations, Methodology, Case Studies (Trends in Logic (33), Band 36) - gebonden uitgave, pocketboek
2010, ISBN: 9789400700048
Springer, Gebundene Ausgabe, Auflage: 2011, 539 Seiten, Publiziert: 2010-11-30T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: 113 black & white illustrations, 8 black, 2 kg, Logik, Philo… Meer...
Verzendingskosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
2010, ISBN: 9400700040
Gebundene Ausgabe Logik, Philosophie / Logik, Mathematik / Logik, Mathematik / Informatik, Computer, Theoretische Informatik, Geschichte, Programmier- und Skriptsprachen, allgemein, mit … Meer...
Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00)
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Dual Tableaux: Foundations, Methodology, Case Studies (Trends in Logic (33), Band 36)
EAN (ISBN-13): 9789400700048
ISBN (ISBN-10): 9400700040
Gebonden uitgave
Verschijningsjaar: 2010
Uitgever: Springer
523 Bladzijden
Gewicht: 0,926 kg
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2008-07-01T15:23:47+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2021-01-21T23:16:39+01:00 (Amsterdam)
ISBN/EAN: 9789400700048
ISBN - alternatieve schrijfwijzen:
94-007-0004-0, 978-94-007-0004-8
< naar Archief...