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
2869. 
Cover image for Meaning and inference in medieval philosophy : studies in memory of Jan Pinborg
Meaning and inference in medieval philosophy : studies in memory of Jan Pinborg
Author 
Pinborg, Jan. Kretzmann, Norman, ed.
Preferred Shelf Number 
BC 34 M43 1988
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2870. 
Cover image for Sayısal devreler (I.Kısım)
Sayısal devreler (I.Kısım)
Author 
Kalaycıoğlu, V. Ünsal.
Preferred Shelf Number 
TK 7868.S3 K52 1986
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2871. 
Cover image for Induction : processes of inference, learning, and discovery
Induction : processes of inference, learning, and discovery
Author 
Holland, John Henry, 1929-
Preferred Shelf Number 
BF 441 I53 1986
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2872. 
Cover image for Ludwig Wittgenstein, Tractatus logico-philosophicus
Ludwig Wittgenstein, Tractatus logico-philosophicus
Author 
Aruoba, Oruç.
Preferred Shelf Number 
B3376.W563 T7319 1985
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2873. 
Cover image for Spectral techniques and fault detection
Spectral techniques and fault detection
Author 
Karpovsky, Mark G. International Workshop on Spectral Techniques and Fault Detection (1983 : Boston, Mass.)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124000605
Format: 
Availability 
Online Library~1
Available:
Copies:
2874. 
Cover image for Studies in post-medieval semantics
Studies in post-medieval semantics
Author 
Ashworth, E. J.
Preferred Shelf Number 
P 106 A78 1985
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2875. 
Cover image for Wörterbuch der Logik
Wörterbuch der Logik
Author 
Kondakov, N. I. (Nikolaĭ Ivanovich) Albrecht, Erhard. Asser, Günter.
Preferred Shelf Number 
BC9 K62 1983
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2876. 
Cover image for Semi-custom IC Design and VLSI
Semi-custom IC Design and VLSI
Author 
Hicks, P. J., ed.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1049/PBCM001E
Format: 
Availability 
Online Library~1
Available:
Copies:
2877. 
Cover image for Judgment and proposition : from Descartes to Kant
Judgment and proposition : from Descartes to Kant
Author 
Nuchelmans, Gabriel.
Preferred Shelf Number 
BC181 N78 1983
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2878. 
Cover image for De dialectica
De dialectica
Author 
Jackson, Belford Darrell, 1938-, trans. Pinborg, Jan., ed.
Preferred Shelf Number 
B 655.D42 E54 1975
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2879. 
Cover image for Bilgi teorisi ve mantık
Bilgi teorisi ve mantık
Author 
Von Aster, Ernst. Gökberk, Macit, çev.
Preferred Shelf Number 
BD 161 V89 1972
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2880. 
Cover image for Objective knowledge : an evolutionary approach
Objective knowledge : an evolutionary approach
Author 
Popper, Sir Karl Raimund, 1902-
Preferred Shelf Number 
BD 161 P727 1972
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
Select an Action