Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(19)
Abe, Jair Minoro. author.
(1)
Abreu, Pedro H. editor.
(1)
Banerjee, Mohua. editor.
(1)
Bartocci, Ezio. editor.
(1)
Dil
Yayın Yılı
-
Konu
Computer science.
(6)
Computer Science Logic and Foundations of Programming.
(5)
Computer science -- Mathematics.
(4)
First-order logic.
(4)
Artificial intelligence.
(3)
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ç
29 sonuç bulundu Arama sonuçlarına abone ol
00000DEFAULT_TR
Yazdır
25. 
Independence-Friendly Logic A Game-Theoretic Approach için kapak resmi
Independence-Friendly Logic A Game-Theoretic Approach
Yazar 
Mann, Allen L.. Sandu, Gabriel. Sevenster, Merlijn.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Fundamentals of physical design and query compilation için kapak resmi
Fundamentals of physical design and query compilation
Yazar 
Toman, David. Weddell, Grant E. (Grant Edwin), 1954-
Yer Numarası 
ONLINE
Elektronik Erişim 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440450
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Simple Theories and Hyperimaginaries için kapak resmi
Simple Theories and Hyperimaginaries
Yazar 
Casanovas, Enrique.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Logical labyrinths için kapak resmi
Logical labyrinths
Yazar 
Smullyan, Raymond M., author.
Yer Numarası 
QA9 .S575 2009
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Dependence Logic A New Approach to Independence Friendly Logic için kapak resmi
Dependence Logic A New Approach to Independence Friendly Logic
Yazar 
Väänänen, Jouko.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: