000 00443nmm a2200145Ia 4500
008 230202s9999||||xx |||||||||||||||||und||
020 _a9783540381402
100 _aWolfgang Bibel, R. Kowalski
245 0 _a5th Conference on Automated Deduction
250 _a1980
260 _bSpringer Berlin Heidelberg
_c1980
440 _aLecture Notes in Computer Science
650 _aComputer Science
856 _uhttps://doi.org/10.1007/3-540-10009-1
999 _c27237
_d27237