Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings


Book Informaton

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings

Author

Roy Dyckhoff

Series

Lecture Notes in Computer Science

Volume

1847

Year of Publication

2000

Publisher

Springer Berlin Heidelberg

Language

EN

ISBN

9783540676973, 9783540450085

ARI Id

1674219834838


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 6 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 36 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-18
19-39
40-51
52-56
57-61
62-66
67-71
72-76
77-81
82-97
98-111
112-126
127-142
143-159
160-174
175-189
190-204
205-219
220-236
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 36 entries