Author/Creator: IJCAR (Conference), 8th - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator IJCAR (Conference), 8th

1. Automated reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27-July 2, 2016, Proceedings /: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27-July 2, 2016, Proceedings. (2016)

Editors:: Olivetti, Nicola; Tiwari, Ashish, 1973-
Other Names:: IJCAR (Conference), 8th
Record Type:: Book
Extent:: 1 online resource (xx, 580 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗