Yüklüyor......

Logic for computer science : Foundations of Automatic Theorem proving/

Detaylı Bibliyografya
Yazar: Gallier, Jean H.
Materyal Türü: Printed Book
Dil:English
Baskı/Yayın Bilgisi: John Wiley & Sons, 1987.

University of Calicut

Detaylı Erişim Bilgileri University of Calicut
Yer Numarası: 68 GAL
Kopya Bilgisi Konumu erişilebilir değil.