Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings


Book Informaton

Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings

Author

Nicola Olivetti

Series

Lecture Notes in Computer Science

Volume

4548

Year of Publication

2007

Publisher

Springer Berlin Heidelberg

Pages

X, 250

Language

en

ISBN

9783540730989, 9783540730996, 3540730982

ARI Id

1664912365176


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 5 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Showing 1 to 20 of 21 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-1
2-9
10-10
11-27
28-42
43-59
60-72
73-89
90-106
107-118
119-132
133-148
149-164
165-182
183-198
199-215
216-232
233-237
238-244
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 21 entries