000 00674nam a2200241Ia 4500
008 161214s9999 xx 000 0 und d
020 _a1852332425
_c(pbk)
082 _223
_a006.3
_bAND
100 _aAnderson, Michael
245 0 _aDiagrammatic representation and reasoning
260 _aLondon:
_bSpringer,
_c2002
300 _axv, 583 p.;
_b:
_c24 cm.
650 _aArtificial intelligence
650 _aAutomatic theorem proving
650 _aImage processing
650 _aProblem solving
700 _aAnderson, Michael
700 _aMeyer, Bernd
700 _aMeyer, Bernd
700 _aOlivier, Patrick
700 _aOlivier, Patrick
942 _2ddc
_cBK
999 _c5458
_d5458