Towards mechanized mathematical assistants [electronic resource] : 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 : proceedings / Manuel Kauers ... [et al.] (eds.).

Sparad:
Bibliografiska uppgifter
Publicerad: Berlin : Springer-Verlag, c2007.
Länkar:
Institutionella upphovsmän:
Calculemus 2007 Hagenberg im Mühlkreis, Austria
MKM 2007
SpringerLink (Online service)
Övriga upphovsmän:
Kauers, Manuel
Serie:Lecture notes in computer science ; 4573
Lecture notes in computer science. Lecture notes in artificial intelligence
Ämnen:
Algebra > Data processing > Congresses.
Mathematical analysis > Data processing > Congresses.
Logic, Symbolic and mathematical > Congresses.
Knowledge management > Congresses.
Materialtyp: Elektronisk Konferenspublikation E-bok
Towards mechanized mathematical assistants 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 : proceedings /
Beskrivning
Fysisk beskrivning:xiii, 406 p. : ill.
Other Title:
Calculemus 2007
MKM 2007
Anmärkningar:"Calculemus 2007 was the 14th in a series of conferences dedicated to the integration of computer algebra systems (CAS) and automated deduction systems (ADS). MKM 2007 was the sixth International Conference on Mathematical Knowledge Management"--Pref.
Access restricted to subscribers.
Electronic reproduction. Berlin : Springer-Verlag, [c2007]. System requirements: Adobe Acrobat Reader. Mode of access: World Wide Web. Made available through SpringerLink.
Bib#: 1057965
Bibliografi:Includes bibliographical references and index.
Tillgång:Access restricted to subscribers.
Språk:English
ISBN:3540730834
9783540730835
Bib#:1057965

Liknande verk