Limit Search Results
Author
SpringerLink (Online service)
(163)
Project Muse.
(6)
Arbab, Farhad. editor.
(2)
Carnap, Rudolf, 1891-1970.
(2)
Cooper, S. Barry. editor.
(2)
Language
Subject
Computer science.
(133)
Logic design.
(128)
Software engineering.
(89)
Artificial intelligence.
(46)
Computer software.
(33)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
235 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
Author 
Schrijvers, Tom. editor. Thiemann, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29822-6
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz
Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz
Author 
Erdem, Esra. editor. Lee, Joohyung. editor. Lierler, Yuliya. editor. Pearce, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30743-0
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Rewriting Logic and Its Applications 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
Rewriting Logic and Its Applications 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
Author 
Durán, Franciso. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34005-5
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings
Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings
Author 
Fisher, Michael. editor. Torre, Leon. editor. Dastani, Mehdi. editor. Governatori, Guido. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32897-8
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Strategy for Action – I The Logic and Context of Strategic Management
Strategy for Action – I The Logic and Context of Strategic Management
Author 
Gandellini, Giorgio. author. Pezzi, Alberto. author. Venanzi, Daniela. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-2487-8
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Formal Languages in Logic A Philosophical and Cognitive Analysis
Formal Languages in Logic A Philosophical and Cognitive Analysis
Author 
Dutilh Novaes, Catarina.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Graph Structure and Monadic Second-Order Logic A Language-Theoretic Approach
Graph Structure and Monadic Second-Order Logic A Language-Theoretic Approach
Author 
Courcelle, Bruno. Engelfriet, Joost.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Peeling potatoes or grinding lenses Spinoza and young Wittgenstein converse on immanence and its logic
Peeling potatoes or grinding lenses Spinoza and young Wittgenstein converse on immanence and its logic
Author 
Baltas, Aristeidēs. Project Muse.
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text available:
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for The Rise of China vs. the Logic of Strategy
The Rise of China vs. the Logic of Strategy
Author 
Luttwak, Edward N.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.4159/harvard.9780674067936
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Freedom and reflection Hegel and the logic of agency
Freedom and reflection Hegel and the logic of agency
Author 
Yeomans, Christopher.
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199794522.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
Author 
Janssen, Jeroen. Schockaert, Steven. Vermeir, Dirk. de Cock, Martine. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.2991/978-94-91216-59-6
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Biomolecular information processing from logic systems to smart sensors and actuators
Biomolecular information processing from logic systems to smart sensors and actuators
Author 
Katz, Evgeny.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9783527645480
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action