Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
tarafından
 
Jeuring, Johan. editor.

Başlık
Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings

Yazar
Jeuring, Johan. editor.

ISBN
9783642313745

Fiziksel Tanımlama
XVIII, 473p. 117 illus. online resource.

Seri
Lecture Notes in Computer Science, 7362

Seri Başlığı
Lecture Notes in Computer Science, 0302-9743 ; 7362

Konu Terimleri
Computer science.
 
Logic design.
 
Algebra -- Data processing.
 
Information storage and retrieval systems.
 
Artificial intelligence.

Yazar Ek Girişi
Campbell, John A.
 
Carette, Jacques.
 
Reis, Gabriel.
 
Sojka, Petr.
 
Wenzel, Makarius.
 
Sorge, Volker.

Tüzel Kişi Ek Girişi
SpringerLink (Online service)

Elektronik Erişim
http://dx.doi.org/10.1007/978-3-642-31374-5


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap197066-2001ONLINEElektronik Kütüphane