Limit Search Results
Author
SpringerLink (Online service)
(30)
Baratgin, Jean. editor. (orcid)0000-0001-9566-486X
(2)
Dimitrova, Rayna. editor.
(2)
Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996
(2)
Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789
(2)
Language
Publication Date
-
Subject
Logic in AI.
(30)
Computer science.
(15)
Software engineering.
(14)
Computer science -- Mathematics.
(11)
Theory of Computation.
(11)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
40 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings
Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings
Author 
Bonfanti, Silvia. editor. (orcid)0000-0001-9679-4551 Gargantini, Angelo. editor. (orcid)0000-0002-4035-0131 Leuschel, Michael. editor. (orcid)0000-0002-4595-1518 Riccobene, Elvinia. editor. (orcid)0000-0002-1400-1026 Scandurra, Patrizia. editor. (orcid)0000-0002-9209-3624
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63790-2
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Robust Argumentation Machines First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings
Robust Argumentation Machines First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings
Author 
Cimiano, Philipp. editor. (orcid)0000-0002-4771-441X Frank, Anette. editor. (orcid)0000-0003-4706-9817 Kohlhase, Michael. editor. (orcid)0000-0002-9859-6337 Stein, Benno. editor. (orcid)0000-0001-9033-2217 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63536-6
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
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:
28. 
Cover image for Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings
Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings
Author 
König, Barbara. editor. (orcid)0000-0002-4193-2889 Urbat, Henning. editor. (orcid)0000-0002-3265-7168 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66438-0
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers
Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers
Author 
Reynolds, Andrew. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66064-1
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Relational and Algebraic Methods in Computer Science 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024, Proceedings
Relational and Algebraic Methods in Computer Science 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024, Proceedings
Author 
Fahrenberg, Uli. editor. Fussner, Wesley. editor. Glück, Roland. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-68279-7
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings
Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings
Author 
Sekerinski, Emil. editor. (orcid)0000-0001-9788-5842 Ribeiro, Leila. editor. (orcid)0000-0001-7039-092X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71379-8
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Rules and Reasoning 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings
Rules and Reasoning 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings
Author 
Kirrane, Sabrina. editor. (orcid)0000-0002-6955-7718 Šimkus, Mantas. editor. (orcid)0000-0003-0632-0294 Soylu, Ahmet. editor. (orcid)0000-0001-6034-4137 Roman, Dumitru. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72407-7
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings
Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings
Author 
Kovács, Laura. editor. (orcid)0000-0002-8299-2714 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72621-7
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Algorithmic Discrimination and Ethical Perspective of Artificial Intelligence
Algorithmic Discrimination and Ethical Perspective of Artificial Intelligence
Author 
Kılıç, Muharrem. editor. Bozkuş Kahyaoğlu, Sezer. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-6327-0
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
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:
36. 
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:
Select an Action