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) ↗
3. Case-Based Reasoning Research and Development : 28th International Conference, ICCBR 2020, Salamanca, Spain, June 8–12, 2020, Proceedings /: 28th International Conference, ICCBR 2020, Salamanca, Spain, June 8–12, 2020, Proceedings. (2020) Editors: Watson, Ian; Weber, Rosina Record Type: Book Extent: 1 online resource (355 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Complex Event Processing : Verarbeitung von Ereignismustern in Datenströmen /: Verarbeitung von Ereignismustern in Datenströmen. (2020) Authors: Hedtstück, Ulrich Record Type: Book Extent: 1 online resource (163 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Functional and Logic Programming : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings /: 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings. (2020) Editors: Nakano, Keisuke; Sagonas, Konstantinos Record Type: Book Extent: 1 online resource (221 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Information Processing and Management of Uncertainty in Knowledge-Based Systems : 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020, Proceedings, Part III /: 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020, Proceedings, Part III. (2020) Editors: Lesot, Marie-Jeanne; Vieira, Susana; Reformat, Marek Z; Carvalho, Joao Paulo; Wilbik, Anna; Bouchon-Meunier, Bernadette; Yager, Ronald R Record Type: Book Extent: 1 online resource (833 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Modelling nature : an opinionated introduction to scientific representation /: an opinionated introduction to scientific representation. (2020) Other Names: Frigg, Roman; Nguyen, James Record Type: Book Extent: 1 online resource (xvi, 241 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Ordinal Analysis with an Introduction to Proof Theory. (2020) Authors: Arai, Toshiyasu Record Type: Book Extent: 1 online resource (313 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Philosophie der Mathematik in der Antike und in der Neuzeit. (2020) Authors: Felgner, Ulrich Record Type: Book Extent: 1 online resource (296 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Problem Solving In Operation Management. (2020) Editors: Balderas-Cañas, Patricia Esperanza; Sánchez Guerrero, Gabriel de las Nieves Record Type: Book Extent: 1 online resource (162 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗