Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings
tarafından
Kauers, Manuel. editor.
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
Konu Terimleri
:
Computer science.
Computer Communication Networks.
Database management.
Data mining.
Information systems.
Artificial intelligence.
Mathematics.
Yazar Ek Girişi
:
Kerber, Manfred.
Miner, Robert.
Windsteiger, Wolfgang.
Tüzel Kişi Ek Girişi
:
SpringerLink (Online service)
Elektronik Erişim
:
| Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | [[missing key: search.ChildField.HOLDING]] | Durumu/İade Tarihi |
|---|
| Çevrimiçi Kütüphane | E-Kitap | 186737-2001 | ONLINE | | Elektronik Kütüphane |