Switch to list view
Switch to thumbnail view
5 Results Found Subscribe to search results
00000DEFAULT
Print
1. 
Cover image for Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures
Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures
Author 
Console, Marco. editor. (orcid)0009-0004-5526-019X Konev, Boris. editor. (orcid)0000-0002-6507-0494 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80283-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II
Author 
Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-50521-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I
Author 
Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-50524-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Developments in Language Theory 28th International Conference, DLT 2024, Göttingen, Germany, August 12-16, 2024, Proceedings
Developments in Language Theory 28th International Conference, DLT 2024, Göttingen, Germany, August 12-16, 2024, Proceedings
Author 
Day, Joel D. editor. (orcid)0000-0002-3660-7766 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66159-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Mathematical aspects of logic programming semantics
Mathematical aspects of logic programming semantics
Author 
Hitzler, Pascal., author. Seda, Anthony.
Preferred Shelf Number 
QA76.63 .H58 2011
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets