๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[Lecture Notes in Computer Science] Automated Reasoning with Analytic Tableaux and Related Methods Volume 1397 || A New One-Pass Tableau Calculus for PLTL

โœ Scribed by de Swart, Harrie


Book ID
125804879
Publisher
Springer Berlin Heidelberg
Year
1998
Weight
191 KB
Category
Article
ISBN
3540697780

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


[Lecture Notes in Computer Science] Auto
โœ de Swart, Harrie ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ German โš– 200 KB

This Book Constitutes The Refereed Proceedings Of The 1998 International Conference On Analytic Tableaux And Related Methods, Tableaux'98, Held In Oisterwijk Near Tilburg, The Netherlands, In May 1998. The Volume Presents 17 Revised Full Papers And Three System Descriptions Selected From 34 Submissi