[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

Kohlhase06

  1. Michael Kohlhase
  2. OMDoc -- an open markup format for mathematical documents [ version 1.2 ]
  3. Springer-Verlag NY Secausus NJ (Lecture notes in CS 4180) ISBN 3540378979 CR 0803-0261
  4. =UNREAD =STANDARD MATHEMATICS FORMAL + INFORMAL THEORIES STATEMENTS FORMULAE

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]