Limit Search Results
Author
SpringerLink (Online service)
(2011)
Project Muse.
(22)
Voronkov, Andrei. editor.
(18)
Wiley InterScience (Online service)
(13)
Gabbay, Dov M., 1945-
(12)
Language
Publication Date
-
Subject
Computer science.
(1243)
Logic design.
(1147)
Software engineering.
(874)
Artificial intelligence.
(606)
Logic, Symbolic and mathematical.
(314)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2886 Results Found Subscribe to search results
000000000000DEFAULT
Print
2857. 
Cover image for What is philosophy?
What is philosophy?
Author 
Deleuze, Gilles, 1925-1995. Guattari, Félix, 1930-1992. Tomlinson, Hugh, trans. Burchell, Graham, trans.
Preferred Shelf Number 
B2430.D453 Q4713 1994
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2858. 
Cover image for The genealogy of disjunction
The genealogy of disjunction
Author 
Jennings, R. E. (Raymond Earl)
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780195075243.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
2859. 
Cover image for Circuit complexity and neural networks
Circuit complexity and neural networks
Author 
Parberry, Ian.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267424
Format: 
Availability 
Online Library~1
Available:
Copies:
2860. 
Cover image for Mantık
Mantık
Author 
Özlem, Doğan.
Preferred Shelf Number 
BC 117.T8 O6 1994
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2861. 
Cover image for Ibn Taymiyya against the Greek logicians
Ibn Taymiyya against the Greek logicians
Author 
Ibn Taymīyah, Aḥmad ibn ʻAbd al-Ḥalīm, 1263-1328. Hallaq, Wael B., 1955-
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198240433.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
2862. 
Cover image for Algorithmic and Knowledge-based CAD for VLSI
Algorithmic and Knowledge-based CAD for VLSI
Author 
Taylor, Gaynor, ed. Russell, Gordon, ed.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1049/PBCS004E
Format: 
Availability 
Online Library~1
Available:
Copies:
2863. 
Cover image for Türkiye I. Felsefe Mantık Bilim Tarihi Sempozyumu bildirileri : 19-21 Kasım 1986, Ankara
Türkiye I. Felsefe Mantık Bilim Tarihi Sempozyumu bildirileri : 19-21 Kasım 1986, Ankara
Author 
Türkiye Felsefe Mantık Bilim Tarihi Sempozyumu (1st : 1986 : Ankara, Turkey) Görsoy, Kenan. Ankara Üniversitesi.
Preferred Shelf Number 
B20 T87 1991
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2864. 
Cover image for Practical programmable circuits a guide to PLDs, state machines, and microcontrollers
Practical programmable circuits a guide to PLDs, state machines, and microcontrollers
Author 
Broesch, James D.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780121348854
Format: 
Availability 
Online Library~1
Available:
Copies:
2865. 
Cover image for Analogue-digital ASICs Circuit techniques, design tools and applications
Analogue-digital ASICs Circuit techniques, design tools and applications
Author 
Soin, R. S., ed. Maloberti, F., ed. Franca, J., ed.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1049/PBCS003E
Format: 
Availability 
Online Library~1
Available:
Copies:
2866. 
Cover image for The Development of a Strategy for Integrated Manufacturing Systems
The Development of a Strategy for Integrated Manufacturing Systems
Author 
Schofield, N. A., ed.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1049/PBME012E
Format: 
Availability 
Online Library~1
Available:
Copies:
2867. 
Cover image for Wise choices, apt feelings : a theory of normative judgment
Wise choices, apt feelings : a theory of normative judgment
Author 
Gibbard, Allan.
Preferred Shelf Number 
BJ1012 .G53 1990
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2868. 
Cover image for Communication complexity a new approach to circuit depth
Communication complexity a new approach to circuit depth
Author 
Karchmer, Mauricio.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267292
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action