Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings


Book Informaton

Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Author

Ulrich Furbach; Natarajan Shankar

Series

Lecture Notes in Computer Science

Volume

4130

Year of Publication

2006

Publisher

Springer Berlin Heidelberg

Language

EN

ISBN

9783540371878, 9783540371885

ARI Id

1674219735310


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 55 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-2
3-3
4-20
21-35
36-51
52-66
67-81
82-96
97-111
112-124
125-139
140-144
145-150
151-155
156-161
162-176
177-191
192-204
205-219
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 55 entries