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
49. 
Cover image for The logic of autonomy law, morality and autonomous reasoning
The logic of autonomy law, morality and autonomous reasoning
Author 
Sieckmann, Jan-Reinard, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=575515
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
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:
51. 
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:
52. 
Cover image for Kantian reason and Hegelian spirit the idealistic logic of modern theology
Kantian reason and Hegelian spirit the idealistic logic of modern theology
Author 
Dorrien, Gary J. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
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:
54. 
Cover image for Disruptive Logic Architectures and Technologies From Device to System Level
Disruptive Logic Architectures and Technologies From Device to System Level
Author 
Gaillardon, Pierre-Emmanuel. author. O’Connor, Ian. author. Clermidy, Fabien. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-3058-2
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for The Cold War and After : History, Theory, and the Logic of International Politics.
The Cold War and After : History, Theory, and the Logic of International Politics.
Author 
Trachtenberg, Marc.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt7rk9r
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for The Three Failures of Creationism : Logic, Rhetoric, and Science
The Three Failures of Creationism : Logic, Rhetoric, and Science
Author 
Fitch, Walter M., 1929-2011.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.1525/j.ctt1pnn5n
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
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:
58. 
Cover image for Logic, Language, Information and Computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
Logic, Language, Information and Computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
Author 
Ong, Luke. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32621-9
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
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:
60. 
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:
Select an Action