Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, Tableaux-95, Schloss Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings - Lecture Notes in Computer Science - Peter Baumgartner - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540593386 - 26. april 1995
Ved uoverensstemmelse mellem cover og titel gælder titel

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, Tableaux-95, Schloss Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings - Lecture Notes in Computer Science

Peter Baumgartner

Pris
DKK 448

Bestilles fra fjernlager

Forventes klar til forsendelse 16. - 22. sep.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
Eller

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, Tableaux-95, Schloss Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings - Lecture Notes in Computer Science

Constitutes the proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAU '95, held at Schloss Rheinfels, St Goar, Germany in May 1995. This book is organized in sections on extensions, modal logic, intuitionistic logic, the connection method and model elimination, and higher-order logic.

361 pages, biography

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 26. april 1995
ISBN13 9783540593386
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 361
Mål 155 × 233 × 19 mm   ·   526 g
Sprog Tysk  
Klipper/redaktør Baumgartner, Peter
Klipper/redaktør Hahnle, Reiner
Klipper/redaktør Posegga, Joachim
Vis alle

Mere med Peter Baumgartner

Se alt med Peter Baumgartner ( f.eks. Paperback Bog , Bog og CD )