Limit Search Results
Author
SpringerLink (Online service)
(137)
Barthe, Gilles. editor.
(2)
Boer, Frank S. editor.
(2)
Bowen, Jonathan P. editor.
(2)
Carnap, Rudolf, 1891-1970.
(2)
Language
Subject
Computer science.
(112)
Logic design.
(97)
Software engineering.
(68)
Artificial intelligence.
(40)
Logic, Symbolic and mathematical.
(32)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
179 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Computational Logic in Multi-Agent Systems 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers
Computational Logic in Multi-Agent Systems 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers
Author 
Sadri, Fariba. editor. Satoh, Ken. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88833-8
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings
Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings
Author 
Garcia de la Banda, Maria. editor. Pontelli, Enrico. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89982-2
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Introduction to Logic and Theory of Knowledge Lectures 1906/07
Introduction to Logic and Theory of Knowledge Lectures 1906/07
Author 
Husserl, Edmund. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6727-3
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Yeraltısuyu akışı ve kalitesi'nin esnek hesaplama methodları (yapay sinir ağları, bulanık mantık) ile modellenmesi = Modeling of groundwater flow and quality in karstic systems using 'soft computing' methods (Neural networks, fuzzy logic)
Yeraltısuyu akışı ve kalitesi'nin esnek hesaplama methodları (yapay sinir ağları, bulanık mantık) ile modellenmesi = Modeling of groundwater flow and quality in karstic systems using 'soft computing' methods (Neural networks, fuzzy logic)
Author 
Kurtuluş, Bedri.
Preferred Shelf Number 
TEZ 9513 .K87 2008
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
41. 
Cover image for Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
Author 
King, Andy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78769-3
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Modal logic an introduction to its syntax and semantics
Modal logic an introduction to its syntax and semantics
Author 
Cocchiarella, Nino B. Freund, Max A., 1954-
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780195366587.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for High Performance ASIC Design Using Synthesizable Domino Logic in an ASIC Flow
High Performance ASIC Design Using Synthesizable Domino Logic in an ASIC Flow
Author 
Hossain, Razak.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Spectral logic and its applications for design of digital devices
Spectral logic and its applications for design of digital devices
Author 
Karpovsky, Mark G. Stanković, Radomir S. Astola, Jaakko.
Preferred Shelf Number 
ONLINE
Electronic Access 
Available by subscription from Safari Books Online
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=468585
John Wiley http://dx.doi.org/10.1002/9780470289228
MyiLibrary, Table of contents http://www.myilibrary.com?id=236540&ref=toc
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0829/2008002714-b.html
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Fuzzy Logic in Action: Applications in Epidemiology and Beyond
Fuzzy Logic in Action: Applications in Epidemiology and Beyond
Author 
Massad, Eduardo. author. Ortega, Neli Regina Siqueira. author. Barros, Laecio Carvalho. author. Struchiner, Claudio José. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69094-8
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings
Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings
Author 
Meyden, Ron. editor. Torre, Leendert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70525-3
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings
Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings
Author 
Železný, Filip. editor. Lavrač, Nada. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85928-4
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings
Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings
Author 
Kaminski, Michael. editor. Martini, Simone. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87531-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action