Author/Creator: Peltier, Nicholas - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Peltier, Nicholas

1. Automated reasoning 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings.: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings. Part I (2020)

Other Names:: Peltier, Nicholas; Sofronie-Stokkermans, Viorica; IJCAR (Conference), 10th
Record Type:: Book
Extent:: 1 online resource (553 p.)
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Automated reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings.: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings. Part II (2020)

Other Names:: Peltier, Nicholas; Sofronie-Stokkermans, Viorica; IJCAR (Conference), 10th
Record Type:: Book
Extent:: 1 online resource (521 p.)
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗