1. A new perspective on nonmonotonic logics. (2016) Authors: Gabbay, Dov M, 1945-; Schlechta, Karl Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Advances in proof theory. (2016) Editors: Kahle, Reinhard, 1967-; Strahm, Thomas (Thomas Adrian); Studer, Thomas Record Type: Book Extent: 1 online resource (xii, 425 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Dependence logic : theory and applications /: theory and applications. (2016) Editors: Abramsky, Samson, 1953-; Kontinen, Juha; Väänänen, J (Jouko), 1950-; Vollmer, Heribert, 1964- Record Type: Book Extent: 1 online resource (xiv, 276 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Formal Techniques for Distributed Objects, Components, and Systems : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings /: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. (2016) Editors: Albert, Elvira; Lanese, Ivan Other Names: FORTE Conference, 36th Record Type: Book Extent: 1 online resource (XVI, 275 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. From mathematics to philosophy. (2016) Authors: Wang, Hao, 1921- Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Fuzziness in Information Systems How to Deal with Crisp and Fuzzy Data in Selection, Classification, and Summarization /: How to Deal with Crisp and Fuzzy Data in Selection, Classification, and Summarization. (2016) Authors: Hudec, Miroslav Record Type: Book Extent: 1 online resource (XXII, 198 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Grammatical inference : algorithms, routines and applications /: algorithms, routines and applications. (2016) Authors: Wieczorek, Wojciech, 1928- Record Type: Book Extent: 1 online resource (145 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Hardware and software : verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings /: verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings. ([2016]) Editors: Bloem, Roderick P; Arbel, Eli Other Names: International Haifa Verification Conference, 12th Record Type: Book Extent: 1 online resource (xvi, 211 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Intuitionistic fuzzy logics. (2016) Authors: Atanasov, Krasimir Record Type: Book Extent: 1 online resource (138 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. J. Michael Dunn on information based logics. ([2016]) Editors: Bimbó, Katalin, 1963- Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗