Limit Search Results
Author
SpringerLink (Online service)
(183)
Project Muse.
(4)
Gabbay, Dov M. editor.
(3)
Barthe, Gilles. editor.
(2)
Calude, Cristian S. editor.
(2)
Language
Subject
Computer science.
(139)
Logic design.
(114)
Software engineering.
(80)
Artificial intelligence.
(54)
Logic, Symbolic and mathematical.
(51)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
267 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Mathematical Logic and Model Theory A Brief Introduction
Mathematical Logic and Model Theory A Brief Introduction
Author 
Prestel, Alexander. author. Delzell, Charles N. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2176-3
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology
From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology
Author 
Stanković, Radomir S. author. Astola, Jaakko. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11682-7
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Logic and Its Applications 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings
Logic and Its Applications 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings
Author 
Banerjee, Mohua. editor. Seth, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-18026-2
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
Author 
Alpuente, María. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20551-4
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Giuseppe Peano between Mathematics and Logic Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2–3,2008
Giuseppe Peano between Mathematics and Logic Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2–3,2008
Author 
Skof, Fulvia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-1836-5
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for A Science of Operations Machines, Logic and the Invention of Programming
A Science of Operations Machines, Logic and the Invention of Programming
Author 
Priestley, Mark. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-555-0
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Control, Computation and Information Systems First International Conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25-27, 2011. Proceedings
Control, Computation and Information Systems First International Conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25-27, 2011. Proceedings
Author 
Balasubramaniam, P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19263-0
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Recent Advances in Constraints 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers
Recent Advances in Constraints 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers
Author 
Larrosa, Javier. editor. O’Sullivan, Barry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19486-3
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
Author 
Balduccini, Marcello. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20832-4
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
Author 
Delgrande, James P. editor. Faber, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20895-9
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Logic, Language, Information and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings
Logic, Language, Information and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings
Author 
Beklemishev, Lev D. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20920-8
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings
Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings
Author 
Blackburn, Patrick. editor. Ditmarsch, Hans. editor. Manzano, María. editor. Soler-Toscano, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21350-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action