Limit Search Results
Author
SpringerLink (Online service)
(142)
Project Muse.
(4)
Dix, Jürgen. editor.
(3)
Voronkov, Andrei. editor.
(3)
Calude, Cristian S. editor.
(2)
Language
Subject
Computer science.
(118)
Logic design.
(112)
Software engineering.
(85)
Artificial intelligence.
(49)
Computer Communication Networks.
(41)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
225 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach
Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach
Author 
Montali, Marco. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14538-4
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Conceptual Graphs and Fuzzy Logic A Fusion for Representing and Reasoning with Linguistic Information
Conceptual Graphs and Fuzzy Logic A Fusion for Representing and Reasoning with Linguistic Information
Author 
Cao, Tru Hoang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14087-7
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
Author 
Dix, Jürgen. editor. Leite, João. editor. Governatori, Guido. editor. Jamroga, Wojtek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14977-1
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Model-Based Reasoning in Science and Technology Abduction, Logic, and Computational Discovery
Model-Based Reasoning in Science and Technology Abduction, Logic, and Computational Discovery
Author 
Magnani, Lorenzo. editor. Carnielli, Walter. editor. Pizzi, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15223-8
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Fuzzy Logic-Based Algorithms for Video De-Interlacing
Fuzzy Logic-Based Algorithms for Video De-Interlacing
Author 
Brox, Piedad. author. Baturone, Iluminada. author. Sánchez-Solano, Santiago. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10695-8
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
Author 
Schreye, Danny. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12592-8
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings
Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings
Author 
Dawar, Anuj. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13824-9
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Inductive Logic Programming 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers
Inductive Logic Programming 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers
Author 
Raedt, Luc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13840-9
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP
A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP
Author 
Dovier, Agostino. editor. Pontelli, Enrico. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14309-0
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Interfaces: Explorations in Logic, Language and Computation ESSLLI 2008 and ESSLLI 2009 Student Sessions. Selected Papers
Interfaces: Explorations in Logic, Language and Computation ESSLLI 2008 and ESSLLI 2009 Student Sessions. Selected Papers
Author 
Icard, Thomas. editor. Muskens, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14729-6
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Quantitative Logic and Soft Computing 2010 Volume 2
Quantitative Logic and Soft Computing 2010 Volume 2
Author 
Cao, Bing-yuan. editor. Wang, Guo-jun. editor. Chen, Shui-li. editor. Guo, Si-zong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15660-1
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
Author 
Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16310-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action