Limit Search Results
Author
SpringerLink (Online service)
(71)
Queiroz, Ruy. editor.
(7)
Project Muse.
(4)
de Queiroz, Ruy. editor.
(3)
Aloni, Maria. editor.
(2)
Language
Publication Date
-
Subject
Computer science.
(18)
Artificial intelligence.
(17)
Language and logic.
(8)
Computer software.
(7)
Mathematical logic.
(6)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
98 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for AIxIA 2023 - Advances in Artificial Intelligence XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings
AIxIA 2023 - Advances in Artificial Intelligence XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings
Author 
Basili, Roberto. editor. Lembo, Domenico. editor. Limongelli, Carla. editor. Orlandini, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521280.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-47546-7
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Artificial General Intelligence 16th International Conference, AGI 2023, Stockholm, Sweden, June 16-19, 2023, Proceedings
Artificial General Intelligence 16th International Conference, AGI 2023, Stockholm, Sweden, June 16-19, 2023, Proceedings
Author 
Hammer, Patrick. editor. Alirezaie, Marjan. editor. Strannegård, Claes. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521296.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33469-6
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Prolog: The Next 50 Years
Prolog: The Next 50 Years
Author 
Warren, David S. editor. Dahl, Veronica. editor. Eiter, Thomas. editor. Hermenegildo, Manuel V. editor. Kowalski, Robert. editor.
Preferred Shelf Number 
XX(521397.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-35254-6
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Practical Aspects of Declarative Languages 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings
Practical Aspects of Declarative Languages 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings
Author 
Gebser, Martin. editor. Sergey, Ilya. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521411.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-52038-9
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Computational Intelligence in Data Science 6th IFIP TC 12 International Conference, ICCIDS 2023, Chennai, India, February 23-25, 2023, Revised Selected Papers
Computational Intelligence in Data Science 6th IFIP TC 12 International Conference, ICCIDS 2023, Chennai, India, February 23-25, 2023, Revised Selected Papers
Author 
Chandran K R, Sarath. editor. N, Sujaudeen. editor. A, Beulah. editor. Hamead H, Shahul. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520518.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38296-3
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Mathematical Foundations of Software Engineering A Practical Guide to Essentials
Mathematical Foundations of Software Engineering A Practical Guide to Essentials
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520574.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-26212-8
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings
PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings
Author 
Aydoğan, Reyhan. editor. Criado, Natalia. editor. Lang, Jérôme. editor. Sanchez-Anguix, Victor. editor. Serramia, Marc. editor.
Preferred Shelf Number 
XX(520784.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-21203-1
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings
Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings
Author 
Goertzel, Ben. editor. Iklé, Matt. editor. Potapov, Alexey. editor. Ponomaryov, Denis. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520796.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-19907-3
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings
AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings
Author 
Dovier, Agostino. editor. Montanari, Angelo. editor. Orlandini, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520898.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-27181-6
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Structured Object-Oriented Formal Language and Method 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
Structured Object-Oriented Formal Language and Method 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
Author 
Liu, Shaoying. editor. Duan, Zhenhua. editor. Liu, Ai. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520911.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-29476-1
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Author 
Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520976.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38499-8
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
Author 
Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520984.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33170-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action