Search

Author/Creator (Professor of Computer Science), Fontaine, Pascal

1. Automated deduction -- CADE 27 : 27th international conference on automated deduction, Natal, Brazil, August 27-30, 2019 : proceedings /: 27th international conference on automated deduction, Natal, Brazil, August 27-30, 2019 : proceedings. ([2019])

Editors:
(Professor of Computer Science), Fontaine, Pascal
Other Names:
International Conference on Automated Deduction, 27th
Record Type:
Book
Extent:
1 online resource, illustrations (some color)
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

Limit your search

  • (Professor of Computer Science), Fontaine, Pascal 1