2012, ISBN: 9789400700055
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...
| Orellfuessli.ch Nr. 31191943. Verzendingskosten:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , Sofort per Download lieferbar, zzgl. Versandkosten. (EUR 16.50) Details... |
ISBN: 9400700059
Dual Tableaux: Foundations Methodology Case Studies ab 170.99 € als pdf eBook: . Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Mathematik, Medien > Bücher, Dual Tableaux: Foundation… Meer...
| Hugendubel.de Nr. 18558020. Verzendingskosten:, , DE. (EUR 0.00) Details... |
ISBN: 9789400700055
Providing a reference for researchers and students, this volume presents the fundamental concepts of dual tableaux, and a wide scope of applications.These include logic methods used in ma… Meer...
| hive.co.uk No. 9789400700055. Verzendingskosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., exclusief verzendingskosten Details... |
2012, ISBN: 9789400700055
eBooks, eBook Download (PDF), Auflage, [PU: Springer-Verlag], [ED: 1], Springer-Verlag, 2012
| lehmanns.de Verzendingskosten:Does not ship to your country., exclusief verzendingskosten Details... |
ISBN: 9400700059
Dual Tableaux: Foundations Methodology Case Studies ab 170.99 EURO Medien > Bücher
| eBook.de Nr. 18558020. Verzendingskosten:, , DE. (EUR 0.00) Details... |
bij Orellfuessli.ch
2012, ISBN: 9789400700055
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...
Joanna Golinska Pilarek/ Ewa Orlowska:
Dual Tableaux: Foundations Methodology Case Studies - nieuw boekISBN: 9400700059
Dual Tableaux: Foundations Methodology Case Studies ab 170.99 € als pdf eBook: . Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Mathematik, Medien > Bücher, Dual Tableaux: Foundation… Meer...
ISBN: 9789400700055
Providing a reference for researchers and students, this volume presents the fundamental concepts of dual tableaux, and a wide scope of applications.These include logic methods used in ma… Meer...
2012, ISBN: 9789400700055
eBooks, eBook Download (PDF), Auflage, [PU: Springer-Verlag], [ED: 1], Springer-Verlag, 2012
ISBN: 9400700059
Dual Tableaux: Foundations Methodology Case Studies ab 170.99 EURO Medien > Bücher
Bibliografische gegevens van het best passende boek
| auteur: | |
| Titel: | |
| ISBN: |
Gedetalleerde informatie over het boek. - Dual Tableaux: Foundations, Methodology, Case Studies
EAN (ISBN-13): 9789400700055
ISBN (ISBN-10): 9400700059
Verschijningsjaar: 2012
Uitgever: Springer-Verlag
523 Bladzijden
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2012-09-07T14:30:58+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2022-04-14T13:48:27+02:00 (Amsterdam)
ISBN/EAN: 9400700059
ISBN - alternatieve schrijfwijzen:
94-007-0005-9, 978-94-007-0005-5
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: goli, orlow, colin mackerras
Titel van het boek: tableaux, dual und, just case, tableau, tablea
Gegevens van de uitgever
Auteur: Ewa Orlowska; Joanna Golińska Pilarek
Titel: Trends in Logic; Dual Tableaux: Foundations, Methodology, Case Studies
Uitgeverij: Springer; Springer Netherland
523 Bladzijden
Verschijningsjaar: 2012-01-07
Dordrecht; NL
Taal: Engels
149,79 € (DE)
154,00 € (AT)
177,00 CHF (CH)
Available
XVI, 523 p.
EA; E107; eBook; Nonbooks, PBS / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; Dual tableau; Logic; Proof theory; Relation algebra; B; Mathematical Logic and Foundations; Formal Languages and Automata Theory; Logic; Mathematics and Statistics; Mathematische Grundlagen; Theoretische Informatik; Philosophie: Logik; BC
The 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.The first book on dual tableaux providing a self-contained presentation of the field and an up-to-date unifying treatment of the research in dual tableaux theory. A number of applications of dual tableaux to contemporary applied theories such as temporal reasoning, spatial reasoning, order-of-magnitude reasoning, fuzzy logic, rough set logics. A reference work to be used by researchers and graduate students. Includes supplementary material: sn.pub/extras
Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9789400734364 Dual Tableaux: Foundations, Methodology, Case Studies: Foundations, Methodology, Case Studies (Trends in Logic) (Orlowska, Ewa)
< naar Archief...