000 00489nmm a2200145Ia 4500
008 230202s9999||||xx |||||||||||||||||und||
020 _a9783540707400
100 _aJaques Calmet, John A. Campbell, Jochen Pfalzgraf
245 0 _aArtificial Intelligence and Symbolic Mathematical Computation
250 _a1996
260 _bSpringer Berlin Heidelberg
_c1996
440 _aLecture Notes in Computer Science
650 _aComputer Science
856 _uhttps://doi.org/10.1007/3-540-61732-9
999 _c27363
_d27363