Handbook of Tableau Methods
Editat de M. D'Agostino, Dov M. Gabbay, Reiner Hähnle, J. Poseggaen Limba Engleză Paperback – 7 dec 2010
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 1209.73 lei 6-8 săpt. | |
SPRINGER NETHERLANDS – 7 dec 2010 | 1209.73 lei 6-8 săpt. | |
Hardback (1) | 1218.54 lei 6-8 săpt. | |
SPRINGER NETHERLANDS – 31 mar 1999 | 1218.54 lei 6-8 săpt. |
Preț: 1209.73 lei
Preț vechi: 1475.27 lei
-18% Nou
Puncte Express: 1815
Preț estimativ în valută:
231.59€ • 240.73$ • 192.01£
231.59€ • 240.73$ • 192.01£
Carte tipărită la comandă
Livrare economică 05-19 februarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9789048151844
ISBN-10: 9048151848
Pagini: 684
Ilustrații: VIII, 670 p.
Dimensiuni: 155 x 235 x 38 mm
Greutate: 0.93 kg
Ediția:Softcover reprint of hardcover 1st ed. 1999
Editura: SPRINGER NETHERLANDS
Colecția Springer
Locul publicării:Dordrecht, Netherlands
ISBN-10: 9048151848
Pagini: 684
Ilustrații: VIII, 670 p.
Dimensiuni: 155 x 235 x 38 mm
Greutate: 0.93 kg
Ediția:Softcover reprint of hardcover 1st ed. 1999
Editura: SPRINGER NETHERLANDS
Colecția Springer
Locul publicării:Dordrecht, Netherlands
Public țintă
ResearchCuprins
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.