Paper Info
Title
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000, Proceedings
Year
Venue
DocType
2000
TABLEAUX
Conference
Volume
ISBN
Citations 
1847
isbn
33
PageRank 
References 
Authors
5.27
0
1
Name
Order
Citations
PageRank
Roy Dyckhoff145249.09