| Record ID | harvard_bibliographic_metadata/ab.bib.11.20150123.full.mrc:560096411:544 |
| Source | harvard_bibliographic_metadata |
| Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.11.20150123.full.mrc:560096411:544?format=raw |
LEADER: 00544nam a2200193Ka 4500
001 011608105-8
005 20121031125552.0
008 061002s1991 gw 000 0 ger d
035 $a(Crl)b21606195
035 0 $aocm71814679
040 $aCRL$cCRL$dMH
100 1 $aHutter, Dieter.
245 10 $aMustergesteuerte Strategien für das Beweisen von Gleichungen /$cDieter Hutter.
260 $c1991.
300 $a129 p.
502 $aThesis (doctoral)--Universität Karlsruhe, 1991.
710 2 $aUniversität Karlsruhe.
988 $a20081027
906 $0OCLC