Limit Search Results
Author
SpringerLink (Online service)
(123)
Crespi Reghizzi, Stefano. author.
(3)
Martín-Vide, Carlos. editor.
(3)
Baldoni, Matteo. editor.
(2)
Bonacina, Maria Paola. editor.
(2)
Language
Publication Date
-
Subject
Computer science.
(108)
Mathematical Logic and Formal Languages.
(101)
Logic design.
(56)
Logics and Meanings of Programs.
(55)
Artificial intelligence.
(50)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
140 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
Author 
Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519293.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23264-5
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers
Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers
Author 
Baldoni, Matteo. editor. Baresi, Luciano. editor. Dastani, Mehdi. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519297.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-26184-3
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Systems and Frameworks for Computational Morphology Fourth International Workshop, SFCM 2015, Stuttgart, Germany, September 17-18, 2015. Proceedings
Systems and Frameworks for Computational Morphology Fourth International Workshop, SFCM 2015, Stuttgart, Germany, September 17-18, 2015. Proceedings
Author 
Mahlow, Cerstin. editor. Piotrowski, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518502.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23980-4
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
Author 
Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518522.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17581-2
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Franke, Björn. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519059.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46663-6
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Author 
Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519139.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-28114-8
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings
Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings
Author 
Shallit, Jeffrey. editor. Okhotin, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519199.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19225-3
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Author 
Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332962.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03077-7
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Fuzzy Logic and Applications 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings
Fuzzy Logic and Applications 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings
Author 
Masulli, Francesco. editor. Pasi, Gabriella. editor. Yager, Ronald. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332970.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03200-9
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for AI*IA 2013: Advances in Artificial Intelligence XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings
AI*IA 2013: Advances in Artificial Intelligence XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings
Author 
Baldoni, Matteo. editor. Baroglio, Cristina. editor. Boella, Guido. editor. Micalizio, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332979.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03524-6
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Author 
Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334038.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35722-0
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Automated Reasoning and Mathematics Essays in Memory of William W. McCune
Automated Reasoning and Mathematics Essays in Memory of William W. McCune
Author 
Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334264.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36675-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action