Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

Eylem Seç

Başlık:

Yazar:

Bonacina, Maria Paola. editor.

ISBN:

9783642385742

Fiziksel Tanımlama:

XVI, 466 p. 95 illus. online resource.

Seri:

Lecture Notes in Computer Science, 7898

Konu Terimleri:

Tüzel Kişi Ek Girişi:

Elektronik Erişim:

Ayırtma:
Kopya:

Kütüphane	Materyal Türü	Demirbaş Numarası	Yer Numarası	Durumu/İade Tarihi	Materyal Ayırtma
Arıyor... Çevrimiçi Kütüphane	E-Kitap	334626-1001	ONLINE(334626.1)	Arıyor... Unknown	Arıyor... Rafta