Zaloga: Towards Mechanized Mathematical Assistants :

Slika na naslovnici

QR koda

Towards Mechanized Mathematical Assistants : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings /

Shranjeno v:

Bibliografske podrobnosti
Korporativna značnica:	SpringerLink (Online service).
Drugi avtorji:	Kauers, Manuel. (Editor), Kerber, Manfred. (Editor), Miner, Robert. (Editor), Windsteiger, Wolfgang. (Editor)
Format:	eKnjiga
Jezik:	English
Izdano:	Berlin ; Heidelberg : Springer, 2007.
Serija:	Lecture Notes in Computer Science, 4573
Teme:	Artificial intelligence. Computer Communication Networks. Data mining. Database management. Information systems. Mathematics. Computer Science > Artificial Intelligence (incl. Robotics) > Data Mining and Knowledge Discovery > Information Systems Applications (incl.Internet) > Mathematics, general
Oznake:	Označite Brez oznak, prvi označite!

Vzdrževanje sistema

Trenutno vzdržujemo knjižnični informacijski sistem.

Informacije o zalogi so trenutno nedostopne. Opravičujemo se za nevšečnosti in vas prosimo da nas ponovno kontaktirate: