Başlık:
Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings
Yazar:
Kauers, Manuel. editor.
ISBN:
9783540730866
Fiziksel Tanımlama:
XIII, 407 p. Also available online. online resource.
Seri:
Lecture Notes in Computer Science, 4573
Seri Başlığı:
Lecture Notes in Computer Science, 0302-9743 ; 4573
Tüzel Kişi Ek Girişi:
Elektronik Erişim:
http://dx.doi.org/10.1007/978-3-540-73086-6Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | E-Kitap | 186737-2001 | ONLINE | Arıyor... | Arıyor... |