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
239 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for The World-Time Parallel Tense and Modality in Logic and Metaphysics
The World-Time Parallel Tense and Modality in Logic and Metaphysics
Author 
Rini, A. A.. Cresswell, M. J..
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Stealing shining rivers agrarian conflict, market logic, and conservation in a Mexican forest
Stealing shining rivers agrarian conflict, market logic, and conservation in a Mexican forest
Author 
Doane, Molly, 1966- Project Muse.
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text available:
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for The emotional and priestly logic of plural marriage
The emotional and priestly logic of plural marriage
Author 
Flake, Kathleen. Project Muse. Merrill-Cazier Library. Special Collections & Archives.
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text available:
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for The politics of logic Badiou, Wittgenstein, and the consequences of formalism
The politics of logic Badiou, Wittgenstein, and the consequences of formalism
Author 
Livingston, Paul M., 1976-
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
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:
30. 
Cover image for The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics
The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics
Author 
Moot, Richard. author. Retoré, Christian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31555-8
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings
Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings
Author 
Ågotnes, Thomas. editor. Broersen, Jan. editor. Elgesem, Dag. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31570-1
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Author 
Vidal, Germán. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32211-2
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Adiabatic Logic Future Trend and System Level Perspective
Adiabatic Logic Future Trend and System Level Perspective
Author 
Teichmann, Philip. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-2345-0
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Risk Management Technologies With Logic and Probabilistic Models
Risk Management Technologies With Logic and Probabilistic Models
Author 
Solozhentsev, E.D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-4288-8
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
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:
36. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets