Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Eylem Seç

Başlık:

Yazar:

Beringer, Lennart. editor.

ISBN:

9783642323478

Fiziksel Tanımlama:

XI, 419 p. 37 illus. online resource.

Seri:

Lecture Notes in Computer Science, 7406

Seri Başlığı:

Lecture Notes in Computer Science, 0302-9743 ; 7406

Konu Terimleri:

Yazar Ek Girişi:

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	197211-2001	ONLINE	Arıyor... Unknown	Arıyor... Rafta