Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Automated Deduction - CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings

Automated Deduction - CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings


Book Informaton

Automated Deduction - CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings

Author

William McCune

Series

Lecture Notes in Computer Science

Volume

1249

Year of Publication

1997

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin; New York

Pages

XV, 469

Language

en

ISBN

9783540631040, 9783540691402, 3540631046

ARI Id

1664952751406


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 11 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 47 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-3
4-18
19-33
34-48
49-52
53-56
57-60
61-64
65-68
69-72
73-86
87-100
101-115
116-130
131-145
146-160
161-175
176-190
191-206
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 47 entries