Limit Search Results
Author
SpringerLink (Online service)
(23)
Albert, Elvira. editor.
(1)
Atallah, Mikhail J.
(1)
Aydoğan, Reyhan. editor.
(1)
Bel-Enguix, Gemma. editor.
(1)
Language
Publication Date
-
Subject
Artificial intelligence.
(15)
Artificial Intelligence (incl. Robotics).
(14)
Computer science.
(14)
Mathematical Logic and Formal Languages.
(12)
Logic design.
(5)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
26 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Augmented Intelligence and Intelligent Tutoring Systems 19th International Conference, ITS 2023, Corfu, Greece, June 2-5, 2023, Proceedings
Augmented Intelligence and Intelligent Tutoring Systems 19th International Conference, ITS 2023, Corfu, Greece, June 2-5, 2023, Proceedings
Author 
Frasson, Claude. editor. Mylonas, Phivos. editor. Troussas, Christos. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521187.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-32883-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Deep Learning Theory and Applications 4th International Conference, DeLTA 2023, Rome, Italy, July 13-14, 2023, Proceedings
Deep Learning Theory and Applications 4th International Conference, DeLTA 2023, Rome, Italy, July 13-14, 2023, Proceedings
Author 
Conte, Donatello. editor. Fred, Ana. editor. Gusikhin, Oleg. editor. Sansone, Carlo. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520436.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-39059-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Big Data and Artificial Intelligence 11th International Conference, BDA 2023, Delhi, India, December 7-9, 2023, Proceedings
Big Data and Artificial Intelligence 11th International Conference, BDA 2023, Delhi, India, December 7-9, 2023, Proceedings
Author 
Goyal, Vikram. editor. Kumar, Naveen. editor. Bhowmick, Sourav S. editor. Goyal, Pawan. editor. Goyal, Navneet. editor.
Preferred Shelf Number 
XX(521361.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-49601-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Artificial Intelligence Research 4th Southern African Conference, SACAIR 2023, Muldersdrift, South Africa, December 4-8, 2023, Proceedings
Artificial Intelligence Research 4th Southern African Conference, SACAIR 2023, Muldersdrift, South Africa, December 4-8, 2023, Proceedings
Author 
Pillay, Anban. editor. Jembere, Edgar. editor. J. Gerber, Aurona. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520739.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-49002-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
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:
6. 
Cover image for Introduction to Artificial Intelligence
Introduction to Artificial Intelligence
Author 
Klontzas, Michail E. editor. Fanni, Salvatore Claudio. editor. Neri, Emanuele. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521892.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-25928-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Turkish Natural Language Processing
Turkish Natural Language Processing
Author 
Oflazer, Kemal. editor. Saraçlar, Murat. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90165-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Language Production, Cognition, and the Lexicon
Language Production, Cognition, and the Lexicon
Author 
Gala, Núria. editor. Rapp, Reinhard. editor. Bel-Enguix, Gemma. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518530.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-08043-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings
Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings
Author 
Bieger, Jordi. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518878.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21365-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
Author 
Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332934.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02654-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
Author 
Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334120.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36089-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
Author 
Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334825.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39634-2
Format: 
Availability 
Online Library~1
Available:
Copies: