Lecture Notes in Computer Science
Volume 2796, 2003, DOI: 10.1007/b12030

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

Marta Cialdea Mayer and Fiora Pirri

Contents

Viewing all 23 chapters
Search within

Browse This Book

  • Look Inside
  • Contents
  • ESM

About This Book

Title
Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings
Editors
Collection
Computer Science
Subjects
None Assigned
Copyright Year
2003
DOI
10.1007/b12030
ISBN
978-3-540-40787-4
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Friday, October 24, 2003

About This Book Series

Title
Lecture Notes in Computer Science
Coverage
Volume 1 / 1973 - Volume 7260 / 2012
Collection
Computer Science
Subjects
ISSN
0302-9743 (Print)
1611-3349 (Online)
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Friday, April 05, 2002