21. Application and Theory of Petri Nets and Concurrency : 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings /: 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings. (2018) Editors: Khomenko, Victor; Roux, Olivier H Record Type: Book Extent: 1 online resource (427 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
22. 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) ↗
23. 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) ↗
24. Artificial intelligence in medicine : 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, proceedings /: 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, proceedings. ([2017]) Other Names: Conference on Artificial Intelligence in Medicine (2005- ), 16th Record Type: Book Extent: 1 online resource (xxv, 369 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
25. Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings /: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings. (2017) Editors: Moura, Leonardo de Other Names: International Conference on Automated Deduction, 26th Record Type: Book Extent: 1 online resource (xi, 582 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
26. 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) ↗
27. 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) ↗
28. 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) ↗
29. Automated reasoning with analytic tableaux and related methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings /: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings. (2017) Editors: Schmidt, Renate A; Nalon, Cláudia Other Names: TABLEAUX (Conference), 26th Record Type: Book Extent: 1 online resource (xii, 381 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
30. Automated technology for verification and analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings /: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. (2015) Editors: Finkbeiner, Bernd; Pu, G (Geguang); Zhang, Lijun, 1979- Other Names: ATVA (Symposium), 13th Record Type: Book Extent: 1 online resource (xiii, 520 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗