Mathematical Knowledge Management
- 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings
Forfatter: info mangler
- Format
- Bog, paperback
- Engelsk
- Indgår i serie
Normalpris
kr. 414,95
Medlemspris
kr. 389,95
- Du sparer kr. 25,00
- Fri fragt
-
Leveringstid: 2-3 uger (Sendes fra fjernlager) Forventet levering: 09-03-2026
- Kan pakkes ind og sendes som gave
Beskrivelse
This book constitutes the refereed proceedings of the 5th International Conference on Mathematical Knowledge Management, MKM 2006, held in Wokingham, UK, August 2006. The book presents 22 revised full papers. Coverage extends to the mathematical knowledge management at the intersection of mathematics, computer science, library science, and scientific publishing. The papers are organized in topical sections on proof representations, proof processing, knowledge extraction, knowledge representation, as well as systems and tools.
Detaljer
- SprogEngelsk
- Sidetal295
- Udgivelsesdato26-07-2006
- ISBN139783540371045
- Forlag Springer-verlag Berlin And Heidelberg Gmbh & Co. K
- FormatPaperback
Størrelse og vægt
Anmeldelser
Vær den første!
Log ind for at skrive en anmeldelse.
Findes i disse kategorier...
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Datakommunikation og computernetværk
- Mathematical Knowledge Management
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Anvendt databehandling
- Mathematical Knowledge Management
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Programmering / softwareudvikling
- Databaseprogrammering
- Mathematical Knowledge Management
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Computere og hardware
- Netværkskomponenter
- Mathematical Knowledge Management
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Databaser
- Informationssøgning og informationsgenfinding
- Mathematical Knowledge Management