CSL'88 :2nd workshop on .. duisburg, FRG, October 3-7, 1988 :proceedings /ed. by E. Börger, H. K. Büning and M. M. Richter.
tarafından
 
Workshop on computer science logic (2nd : 1988 : Duisburg Germany)

Başlık
: 
CSL'88 :2nd workshop on .. duisburg, FRG, October 3-7, 1988 :proceedings /ed. by E. Börger, H. K. Büning and M. M. Richter.

Yazar
: 
Workshop on computer science logic (2nd : 1988 : Duisburg Germany)

ISBN
: 
9783540516590

Yayın Bilgileri
: 
Berlin : Springer, 1989.

Fiziksel Tanımlama
: 
399 s.

Seri
: 
Lecture notes in computer science ; 385

Seri Başlığı
: 
Lecture notes in computer science ; 385

Konu Terimleri
: 
BİLGİSAYAR BİLİMİ -- MATEMATİK -- KONGRELER.
 
MANTIK, SEMBOLİK VE MATEMATİKİ -- KONGRELER.

Yazar Ek Girişi
: 
Büning, H. K., ort. yaz.
 
Richter, M. M., ort. yaz.


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Beytepe KütüphanesiKitap7.2/12/575458QA 76.9.M35 W67 1988Beytepe Genel Koleksiyon