Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(2011)
Project Muse.
(22)
Voronkov, Andrei. editor.
(18)
Wiley InterScience (Online service)
(13)
Gabbay, Dov M., 1945-
(12)
Dil
Yayın Yılı
-
Konu
Computer science.
(1243)
Logic design.
(1147)
Software engineering.
(874)
Artificial intelligence.
(606)
Logic, Symbolic and mathematical.
(314)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
2887 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
61. 
Logic for mathematicians için kapak resmi
Logic for mathematicians
Yazar 
Rosser, John Barkley, 1907-
Yer Numarası 
BC 135 R735 1953
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
62. 
Handbook of Philosophical Logic için kapak resmi
Handbook of Philosophical Logic
Yazar 
Gabbay, D.M. Guenthner, F. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6324-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
63. 
Handbook of Philosophical Logic için kapak resmi
Handbook of Philosophical Logic
Yazar 
Gabbay, D.M. Guenthner, F. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-3092-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
64. 
Handbook of modal logic için kapak resmi
Handbook of modal logic
Yazar 
Blackburn, Patrick, 1959- Benthem, J. F. A. K. van, 1949- Wolter, Frank.
Yer Numarası 
ONLINE
Elektronik Erişim 
Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444516909
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
65. 
Logic, Thought and Action için kapak resmi
Logic, Thought and Action
Yazar 
Vanderveken, Daniel. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-3167-X
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
66. 
Paraconsistency: Logic and Applications için kapak resmi
Paraconsistency: Logic and Applications
Yazar 
Tanaka, Koji. editor. Berto, Francesco. editor. Mares, Edwin. editor. Paoli, Francesco. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335759.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-4438-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
67. 
Logic for Computer Scientists için kapak resmi
Logic for Computer Scientists
Yazar 
Schöning, Uwe. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-8176-4763-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
68. 
Aspects of inductive logic için kapak resmi
Aspects of inductive logic
Yazar 
Hintikka, Jaakko, 1929- Suppes, Patrick, 1922-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534088
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
69. 
Combinatory logic. Volume II için kapak resmi
Combinatory logic. Volume II
Yazar 
Curry, Haskell B. (Haskell Brooks), 1900-1982. Hindley, J. Roger. Seldin, J. P.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422085
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
70. 
Introduction to mathematical logic için kapak resmi
Introduction to mathematical logic
Yazar 
Mendelson, Elliott.
Yer Numarası 
QA9 M4 2015
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
71. 
VHDL for logic synthesis için kapak resmi
VHDL for logic synthesis
Yazar 
Rushton, Andrew.
Yer Numarası 
ONLINE
Elektronik Erişim 
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
72. 
Studies in Legal Logic için kapak resmi
Studies in Legal Logic
Yazar 
Hage, Jaap. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-3552-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç