Limit Search Results
Author
SpringerLink (Online service)
(35)
Petrosino, Alfredo. editor.
(4)
Masulli, Francesco. editor.
(3)
Pasi, Gabriella. editor.
(2)
Voronkov, Andrei. editor.
(2)
Language
Publication Date
-
Subject
Artificial intelligence.
(25)
Computer science.
(25)
Logic design.
(12)
Information storage and retrieval systems.
(7)
Artificial Intelligence (incl. Robotics).
(6)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
35 Results Found Subscribe to search results
00000000000DEFAULT
Print
25. 
Cover image for Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings
Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings
Author 
Li, Lian. editor. Lu, Pinyan. editor. He, Kun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2712-4
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Cognitively Inspired Audiovisual Speech Filtering Towards an Intelligent, Fuzzy Based, Multimodal, Two-Stage Speech Enhancement System
Cognitively Inspired Audiovisual Speech Filtering Towards an Intelligent, Fuzzy Based, Multimodal, Two-Stage Speech Enhancement System
Author 
Abel, Andrew. author. Hussain, Amir. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13509-0
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Computer Vision in Control Systems-1 Mathematical Theory
Computer Vision in Control Systems-1 Mathematical Theory
Author 
Favorskaya, Margarita N. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10653-3
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers
High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers
Author 
Daydé, Michel. editor. Marques, Osni. editor. Nakajima, Kengo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334658.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38718-0
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Transactions on Rough Sets XVI
Transactions on Rough Sets XVI
Author 
Peters, James F. editor. Skowron, Andrzej. editor. Ramanna, Sheela. editor. Suraj, Zbigniew. editor. Wang, Xin. editor.
Preferred Shelf Number 
ONLINE(334220.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36505-8
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Programming Logics Essays in Memory of Harald Ganzinger
Programming Logics Essays in Memory of Harald Ganzinger
Author 
Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334468.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37651-1
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for The Language of Mathematics A Linguistic and Philosophical Investigation
The Language of Mathematics A Linguistic and Philosophical Investigation
Author 
Ganesalingam, Mohan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334341.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37012-0
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Logics in Artificial Intelligence 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings
Logics in Artificial Intelligence 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings
Author 
Cerro, Luis Fariñas. editor. Herzig, Andreas. editor. Mengin, Jérôme. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33353-8
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Logical Aspects of Computational Linguistics 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings
Logical Aspects of Computational Linguistics 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings
Author 
Béchet, Denis. editor. Dikovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31262-5
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers
Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers
Author 
Clarke, Edmund. editor. Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29709-0
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Human Machine Interaction Research Results of the MMI Program
Human Machine Interaction Research Results of the MMI Program
Author 
Lalanne, Denis. editor. Kohlas, Jürg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00437-7
Format: 
Availability 
Online Library~1
Available:
Copies: