Catalog

Record Details

Catalog Search


Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings Cover Image E-book E-book

Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings / edited by Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger.

Kauers, Manuel. (editor.). Kerber, Manfred. (editor.). Miner, Robert. (editor.). Windsteiger, Wolfgang. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Texto completo

► Awards, Reviews, & Suggested Reads
► Shelf Browser
▼ MARC Record
LDR 02230nam a22005535i 4500
00135979
003CONS
00520131219204601.0
007cr nn 008mamaa
008100301s2007 gw | s |||| 0|eng d
020 . ‡a9783540730866 ‡9978-3-540-73086-6
0247 . ‡a10.1007/978-3-540-73086-6 ‡2doi
035 . ‡a(DE-He213)978-3-540-73086-6
050 4. ‡aQ334-342
050 4. ‡aTJ210.2-211.495
072 7. ‡aUYQ ‡2bicssc
072 7. ‡aTJFM1 ‡2bicssc
072 7. ‡aCOM004000 ‡2bisacsh
1001 . ‡aKauers, Manuel. ‡eeditor.
24510. ‡aTowards Mechanized Mathematical Assistants ‡h[electronic resource] : ‡b14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings / ‡cedited by Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2007.
300 . ‡aXIII, 407 p. Also available online. ‡bonline resource.
336 . ‡atext ‡btxt ‡2rdacontent
337 . ‡acomputer ‡bc ‡2rdamedia
338 . ‡aonline resource ‡bcr ‡2rdacarrier
347 . ‡atext file ‡bPDF ‡2rda
4901 . ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v4573
650 0. ‡aComputer science.
650 0. ‡aComputer Communication Networks.
650 0. ‡aDatabase management.
650 0. ‡aData mining.
650 0. ‡aInformation systems.
650 0. ‡aArtificial intelligence.
650 0. ‡aMathematics.
65014. ‡aComputer Science.
65024. ‡aArtificial Intelligence (incl. Robotics).
65024. ‡aData Mining and Knowledge Discovery.
65024. ‡aInformation Systems Applications (incl.Internet).
65024. ‡aDatabase Management.
65024. ‡aComputer Communication Networks.
65024. ‡aMathematics, general.
7001 . ‡aKerber, Manfred. ‡eeditor.
7001 . ‡aMiner, Robert. ‡eeditor.
7001 . ‡aWindsteiger, Wolfgang. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783540730835
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v4573
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-540-73086-6 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a35979 ‡b ‡c35979 ‡tbiblio ‡sSystem Local

Additional Resources