Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings

Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings


Book Informaton

Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings

Author

Pascal Fontaine

Series

Lecture Notes in Computer Science

Volume

11716

Year of Publication

1st ed. 2019

Publisher

Springer International Publishing

Pages

XXIII, 582

Language

en

ISBN

9783030294359, 9783030294366, 3030294358

ARI Id

1665210841403


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 36 entries
Chapters/HeadingsAuthor(s)PagesInfo
i-xxiii
1-17
18-34
35-54
55-73
74-93
94-110
111-122
123-141
142-160
161-177
178-196
197-215
216-232
233-249
250-268
269-286
287-299
300-318
319-336
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 36 entries