Limit Search Results
Author
SpringerLink (Online service)
(28)
Goertzel, Ben. author.
(2)
Sempere, José M. editor.
(2)
Stapleton, Gem. editor.
(2)
Agha, Gul. editor.
(1)
Language
Publication Date
-
Subject
Artificial intelligence.
(19)
Theory of Computation.
(7)
Software engineering.
(5)
Bioinformatics.
(4)
Computational complexity.
(4)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
28 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Grammatical Inference: Algorithms and Applications 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings
Grammatical Inference: Algorithms and Applications 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings
Author 
Clark, Alexander. editor. Coste, François. editor. Miclet, Laurent. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88009-7
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Diagrammatic Representation and Inference 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings
Diagrammatic Representation and Inference 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings
Author 
Stapleton, Gem. editor. Howse, John. editor. Lee, John. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87730-1
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for A Computational Model of Natural Language Communication Interpretation, Inference, and Production in Database Semantics
A Computational Model of Natural Language Communication Interpretation, Inference, and Production in Database Semantics
Author 
Hausser, Roland. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-35477-8
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Diagrammatic Representation and Inference 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006. Proceedings
Diagrammatic Representation and Inference 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006. Proceedings
Author 
Barker-Plummer, Dave. editor. Cox, Richard. editor. Swoboda, Nik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11783183
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Grammatical Inference: Algorithms and Applications 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006. Proceedings
Grammatical Inference: Algorithms and Applications 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006. Proceedings
Author 
Sakakibara, Yasubumi. editor. Kobayashi, Satoshi. editor. Sato, Kengo. editor. Nishino, Tetsuro. editor. Tomita, Etsuji. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11872436
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Statistical and Inductive Inference by Minimum Message Length
Statistical and Inductive Inference by Minimum Message Length
Author 
Wallace, C.S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-27656-4
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Conditionals, Information, and Inference International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers
Conditionals, Information, and Inference International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers
Author 
Kern-Isberner, Gabriele. editor. Rödder, Wilhelm. editor. Kulmann, Friedhelm. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107184
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Models of Computation
Models of Computation
Author 
Bruni, Roberto. author. Montanari, Ugo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42900-7
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Author 
Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Rubin, Julia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54494-5
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Computational Methods in Systems Biology 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings
Computational Methods in Systems Biology 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings
Author 
Feret, Jérôme. editor. Koeppl, Heinz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67471-1
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings
Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings
Author 
Alferes, Jose Julio. editor. Bertossi, Leopoldo. editor. Governatori, Guido. editor. Fodor, Paul. editor. Roman, Dumitru. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42019-6
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Algorithmic Learning Theory 27th International Conference, ALT 2016, Bari, Italy, October 19-21, 2016, Proceedings
Algorithmic Learning Theory 27th International Conference, ALT 2016, Bari, Italy, October 19-21, 2016, Proceedings
Author 
Ortner, Ronald. editor. Simon, Hans Ulrich. editor. Zilles, Sandra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46379-7
Format: 
Availability 
Online Library~1
Available:
Copies: