1. A paraconsistent decision-making method. ([2018]) Authors: Carvalho, Fábio Romeu de; Abe, Jair Minoro Record Type: Book Extent: 1 online resource (xviii, 211 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Advances in Computational Intelligence Techniques. (2020) Editors: Jain, Shruti; Sood, Meenakshi; Paul, Sudip Record Type: Book Extent: 1 online resource (266 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Application and Theory of Petri Nets and Concurrency : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 2530, 2017, proceedings /: 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 2530, 2017, proceedings. ([2017]) Editors: Best, Eike; Aalst, Wil van der Other Names: International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, 38th Record Type: Book Extent: 1 online resource (xiv, 351 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Application and Theory of Petri Nets and Concurrency : 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings /: 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings. (2020) Editors: Janicki, Ryszard; (Computer scientist), Sidorova, Natalia; Chatain, Thomas Record Type: Book Extent: 1 online resource (437 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Applications of computer algebra : Kalamata, Greece, July 20-23 2015 /: Kalamata, Greece, July 20-23 2015. ([2017]) Editors: Kotsireas, Ilias; Martínez-Moro, Edgar Other Names: Applications of Computer Algebra Conference Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Applied logic for computer scientists : computational deduction and formal proofs /: computational deduction and formal proofs. (2017) Authors: Ayala-Rincón, M (Mauricio); Moura, Flávio L. C. de Record Type: Book Extent: 1 online resource (xviii, 150 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Artificial intelligence and computing logic : cognitive technology for AI business analytics /: cognitive technology for AI business analytics. (2021) Authors: Nourani, Cyrus F Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. 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) ↗
9. 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) ↗
10. 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) ↗