Your search returned 6 results.

Not what you expected? Check for suggestions
Sort
Results
1.
Mathematical knowledge management : third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings / Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.). by Series: Lecture notes in computer science ; 3119.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11320111
Publication details: Berlin ; New York : Springer, 2004
Other title:
  • MKM 2004
Online resources:
Availability: Items available for loan: e-Library (1).
2.
Mathematical knowledge management : 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings / Jonathan M. Borwein, William M. Farmer (eds.). by Series: Lecture notes in computer science ; 4108. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer, ©2006
Other title:
  • MKM 2006
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
3.
OMDoc -- an open markup format for mathematical documents : (version 1.2) / Michael Kohlhase ; foreword by Alan Bundy. by Series: LNCS sublibrary. SL 7, Artificial intelligence. | Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science ; 4180.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2006
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
4.
5.
Two-dimensional information theory and coding [electronic resource] : with application to graphics and high-density storage media / Jørn Justesen and Søren Forchhammer. by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: Cambridge, UK ; New York : Cambridge University Press, 2010
Online resources:
Availability: Items available for loan: e-Library (1).
6.
Mathematical knowledge management : 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005 : revised selected papers / Michael Kohlhase (ed.). by Series: Lecture notes in computer science ; 3863. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11618027
Publisher: Berlin ; New York : Springer, ©2006
Other title:
  • MKM 2005
Online resources:
Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha