Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings

QR Code

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings

Saved in:
Physical Description
X, 270 pages online resource
Language
English
Language of Original Work
English
Publisher Berlin, Heidelberg : Springer Berlin Heidelberg 2003.
Series Lecture Notes in Computer Science, ISSN 0302-9743; 2796.
Subjects
Additional Information
edited by Marta Cialdea Mayer, Fiora Pirri
ISBN
9783540452065
Access Luettavissa Jyväskylän yliopiston verkossa; Access limited to Jyväskylä University network
Notes
SpringerLink
Standard Codes
doi 10.1007/b12030