Automated Deduction - CADE-15 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings

Automated Deduction - CADE-15 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings / edited by Claude Kirchner, Helene Kirchner.

Kaydedildi:

Detaylı Bibliyografya
Müşterek Yazar:	SpringerLink (Online service)
Diğer Yazarlar:	Kirchner, Claude (Editör), Kirchner, Helene (Editör)
Materyal Türü:	Ekitap
Dil:	English
Baskı/Yayın Bilgisi:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.
Edisyon:	1st ed. 1998.
Seri Bilgileri:	Lecture Notes in Artificial Intelligence ; 1421 Springer eBook Collection.
Konular:	Artificial intelligence. Mathematical logic. Computer logic. Electronic resources (E-books)
Online Erişim:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Giriş Ayırın ve bilgileri tekrar çağırın

Internet

Click to view e-book

Online

Detaylı Erişim Bilgileri Online
Yer Numarası:	E-Book
Copy 1	Kütüphanede