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
2833. 
Cover image for Cafe an industrial-strength algebraic formal method
Cafe an industrial-strength algebraic formal method
Author 
Futatsugi, Kokichi. Tamai, T. (Tetsuo) Nakagawa, A. T. (Ataru T.)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444505569
Format: 
Availability 
Online Library~1
Available:
Copies:
2834. 
Cover image for Nonlinear biomedical signal processing. Volume 2, Dynamic analysis and modeling
Nonlinear biomedical signal processing. Volume 2, Dynamic analysis and modeling
Author 
Akay, Metin. IEEE Engineering in Medicine and Biology Society.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263163
Format: 
Availability 
Online Library~1
Available:
Copies:
2835. 
Cover image for Engineering digital design
Engineering digital design
Author 
Tinder, Richard F. (Richard Franchere), 1930-2011. Tinder, Richard F. (Richard Franchere), 1930-2011. Digital engineering design.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780126912951
Format: 
Availability 
Online Library~1
Available:
Copies:
2836. 
Cover image for Sembolik mantık el kitabı
Sembolik mantık el kitabı
Author 
Grünberg, Teo.
Preferred Shelf Number 
BC 135 G969 2000 V.2
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
2837. 
Cover image for Wissenschaft der Logik
Wissenschaft der Logik
Author 
Hegel, Georg Wilhelm Friedrich. Jaeschke, Walter von. Gawoll, Hans-Jürgen.
Preferred Shelf Number 
B2942 H444 1999 BAND 11
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2838. 
Cover image for Symbolic Methods in Control System Analysis and Design
Symbolic Methods in Control System Analysis and Design
Author 
Munro, Neil, ed.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1049/PBCE056E
Format: 
Availability 
Online Library~1
Available:
Copies:
2839. 
Cover image for Fuzzy theory systems techniques and applications
Fuzzy theory systems techniques and applications
Author 
Leondes, Cornelius T.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124438705
Format: 
Availability 
Online Library~1
Available:
Copies:
2840. 
Cover image for Optimization methods for logical inference
Optimization methods for logical inference
Author 
Chandru, Vijay, 1953- Hooker, John, 1949-
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Ebook Library Click here to view book
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley042/98044622.html
Format: 
Availability 
Online Library~1
Available:
Copies:
2841. 
Cover image for Mantık
Mantık
Author 
Çüçen, A. Kadir.
Preferred Shelf Number 
BC117.T8 C46 1999
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2842. 
Cover image for Beyin geliştirme
Beyin geliştirme
Author 
Vos Savant, Marilyn Mach. Fleischer, Leonore. Şen, Cem.
Preferred Shelf Number 
BF441 V67 1999
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2843. 
Cover image for On Aristotle On interpretation 9
On Aristotle On interpretation 9
Author 
Ammonius, Hermiae. Boethius, d. 524. In Aristotelis De interpretatione commentarius. Kephalaia 9. English. Blank, David L. Kretzmann, Norman.
Preferred Shelf Number 
B 439 A5513 1998
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2844. 
Cover image for Blazing saddles
Blazing saddles
Author 
Hertzberg, Michael. Brooks, Mel, 1926- Little, Cleavon. Wilder, Gene, 1935- Pickens, Slim.
Preferred Shelf Number 
PN1995.9.W4 B53 1998
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
Select an Action