Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
Konu
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ç
3 sonuç bulundu Arama sonuçlarına abone ol
000DEFAULT_TR
Yazdır
1. 
A Proof Theory for Description Logics için kapak resmi
A Proof Theory for Description Logics
Yazar 
Rademaker, Alexandre. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4002-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Hybrid Logic and its Proof-Theory için kapak resmi
Hybrid Logic and its Proof-Theory
Yazar 
Braüner, Torben. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-0002-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Factors and Factorizations of Graphs Proof Techniques in Factor Theory için kapak resmi
Factors and Factorizations of Graphs Proof Techniques in Factor Theory
Yazar 
Akiyama, Jin. author. Kano, Mikio. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-21919-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: