Limit Search Results
Author
SpringerLink (Online service)
(2670)
Project Muse.
(22)
Kacprzyk, Janusz. editor.
(19)
Voronkov, Andrei. editor.
(19)
Wiley InterScience (Online service)
(13)
Language
Publication Date
-
Subject
Computer science.
(1518)
Logic design.
(1194)
Software engineering.
(1078)
Artificial intelligence.
(892)
Computer Communication Networks.
(358)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
3536 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Logic for Computer Scientists
Logic for Computer Scientists
Author 
Schöning, Uwe. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4763-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Aspects of inductive logic
Aspects of inductive logic
Author 
Hintikka, Jaakko, 1929- Suppes, Patrick, 1922-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534088
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Combinatory logic. Volume II
Combinatory logic. Volume II
Author 
Curry, Haskell B. (Haskell Brooks), 1900-1982. Hindley, J. Roger. Seldin, J. P.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422085
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for VHDL for logic synthesis
VHDL for logic synthesis
Author 
Rushton, Andrew.
Preferred Shelf Number 
ONLINE
Electronic Access 
Books24x7 http://www.books24x7.com/marc.asp?bookid=41715
John Wiley http://dx.doi.org/10.1002/9781119995852
http://proquest.safaribooksonline.com/?fpi=9780470688472
Cover image http://catalogimages.wiley.com/images/db/jimages/9780470688472.jpg
http://proquest.safaribooksonline.com/9780470688472
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Studies in Legal Logic
Studies in Legal Logic
Author 
Hage, Jaap. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3552-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Introduction to medieval logic
Introduction to medieval logic
Author 
Broadie, Alexander.
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198240266.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Logic in Computer Science
Logic in Computer Science
Author 
Zhang, Hantao. author. Zhang, Jian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-9816-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Foundations of Soft Logic
Foundations of Soft Logic
Author 
Klein, Moshe. author. Maimon, Oded. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-58233-2
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Introduction to fuzzy logic
Introduction to fuzzy logic
Author 
Peckol, James K., author. John Wiley & Sons, publisher.
Preferred Shelf Number 
QA9.64 .P43 2021
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119772644
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Digital Logic for Computing
Digital Logic for Computing
Author 
Seiffertt, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56839-3
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Logic Programming with Prolog
Logic Programming with Prolog
Author 
Bramer, Max. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331207.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5487-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Logic: A Brief Course
Logic: A Brief Course
Author 
Mundici, Daniele. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-2361-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets