Limit Search Results
Author
SpringerLink (Online service)
(106)
Bonacina, Maria Paola. editor.
(2)
Crespi Reghizzi, Stefano. author.
(2)
Legay, Axel. editor.
(2)
Rudolph, Sebastian. editor.
(2)
Language
Publication Date
-
Subject
Mathematical Logic and Formal Languages.
(101)
Logic design.
(56)
Logics and Meanings of Programs.
(55)
Artificial Intelligence (incl. Robotics).
(48)
Artificial intelligence.
(48)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
108 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
Author 
Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334096.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35992-7
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
Author 
Lodaya, Kamal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334105.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36039-8
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers
System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers
Author 
Hömberg, Dietmar. editor. Tröltzsch, Fredi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334111.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36062-6
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
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:
53. 
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:
54. 
Cover image for Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers
Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers
Author 
Bezhanishvili, Guram. editor. Löbner, Sebastian. editor. Marra, Vincenzo. editor. Richter, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334337.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36976-6
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
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:
56. 
Cover image for Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings
Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings
Author 
Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334355.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37064-9
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Author 
Pfenning, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334358.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37075-5
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
Author 
Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334547.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38164-5
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Author 
Albert, Elvira. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334552.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38197-3
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings
Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings
Author 
Cellier, Peggy. editor. Distel, Felix. editor. Ganter, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334580.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38317-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action