- 5 resultaten
laagste prijs: € 182,50, hoogste prijs: € 228,80, gemiddelde prijs: € 209,06
1
Handbook of Tableau Methods | M. D'Agostino (u. a.) | Taschenbuch | Paperback | VIII | Englisch | 2010 | Springer Netherland | EAN 9789048151844 - D'Agostino, M.
bestellen
bij booklooker.de
€ 182,50
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
D'Agostino, M.:

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...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) preigu
dichtslaan (X)
2
Handbook of Tableau Methods / M. D'Agostino (u. a.) / Taschenbuch / Paperback / VIII / Englisch / 2010 / Springer Netherland / EAN 9789048151844 - D'Agostino, M.
bestellen
bij booklooker.de
€ 191,01
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link

D'Agostino, M.:

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...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchbär
dichtslaan (X)
3
Handbook of Tableau Methods - D'Agostino, M. (Herausgeber); Posegga, J. (Herausgeber); Hähnle, Reiner (Herausgeber); Gabbay, Dov M. (Herausgeber)
bestellen
bij Achtung-Buecher.de
€ 222,44
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
D'Agostino, M. (Herausgeber); Posegga, J. (Herausgeber); Hähnle, Reiner (Herausgeber); Gabbay, Dov M. (Herausgeber):
Handbook of Tableau Methods - pocketboek

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...

Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
dichtslaan (X)
4
bestellen
bij AbeBooks.co.uk
£ 192,74
(ongeveer € 220,54)
verzending: € 12,891
bestellen
Details aangeboden
Gesponsorde link
Handbook of Tableau Methods - pocketboek

2010, ISBN: 9048151848

[EAN: 9789048151844], Used, good, [SC: 12.89], [PU: Springer], Buy with confidence! Book is in good condition with minor wear to the pages, binding, and minor marks within, Books

NOT NEW BOOK. Verzendingskosten: EUR 12.89 Books Unplugged, Amherst, NY, U.S.A. [74050220] [Rating: 5 (of 5)]
dichtslaan (X)
5
bestellen
bij AbeBooks.co.uk
£ 199,96
(ongeveer € 228,80)
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
M. D'Agostino:
Handbook of Tableau Methods - pocketboek

2010, ISBN: 9048151848

[EAN: 9789048151844], New book, [SC: 0.0], [PU: Springer], PRINT ON DEMAND Book; New; Fast Shipping from the UK., Books

NEW BOOK. Verzendingskosten:Free shipping. (EUR 0.00) Ria Christie Collections, Uxbridge, United Kingdom [59718070] [Rating: 5 (of 5)]
dichtslaan (X)
1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
Handbook of Tableau Methods
auteur:
Titel:
ISBN:

9789048151844


The tableau methodology, invented in the 1950's by Beth and Hintikka and later perfected by Smullyan and Fitting, is today one of the most popular proof theoretical methodologies. Firstly because it is a very intuitive tool, and secondly because it appears to bring together the proof-theoretical and the semantical approaches to the presentation of a logical system. The increasing demand for improved tableau methods for various logics is mainly prompted by extensive applications of logic in computer science, artificial intelligence and logic programming, as well as its use as a means of conceptual analysis in mathematics, philosophy, linguistics and in the social sciences. In the last few years the renewed interest in the method of analytic tableaux has generated a plethora of new results, in classical as well as non-classical logics. On the one hand, recent advances in tableau-based theorem proving have drawn attention to tableaux as a powerful deduction method for classical first-order logic, in particular for non-clausal formulas accommodating equality. On the other hand, there is a growing need for a diversity of non-classical logics which can serve various applications, and for algorithmic presentations of these logicas in a unifying framework which can support (or suggest) a meaningful semantic interpretation. From this point of view, the methodology of analytic tableaux seems to be most suitable. Therefore, renewed research activity is being devoted to investigating tableau systems for intuitionistic, modal, temporal and many-valued logics, as well as for new families of logics, such as non-monotonic and substructural logics. The results require systematisation. This Handbook is the first to provide such a systematisation of this expanding field. It contains several chapters on the use of tableaux methods in classical logic, but also contains extensive discussions on: the uses of the methodology in intuitionistic logics modal and temporal logics substructural logics, nonmonotonic and many-valued logics the implementation of semantic tableaux a bibliography on analytic tableaux theorem proving. The result is a solid reference work to be used by students and researchers in Computer Science, Artificial Intelligence, Mathematics, Philosophy, Cognitive Sciences, Legal Studies, Linguistics, Engineering and all the areas, whether theoretical or applied, in which the algorithmic aspects of logical deduction play a role.

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-02-05T16:09:43+01: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

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...