عنوان

Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings

91973

بها‌ر۴۷

English

)20(

Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings

Berlin

Springer-Verlag

c1990

viii, 307 p. : ill. ; 25 cm

Lecture notes in computer science; 814

Workshop held in Geseke, West Germany ... sponsored and organized by IBM Germany--Introd

Includes bibliographical references

، Artificial intelligence-- Congresses

، Logic, Symbolic and mathematical-- Congresses

، Sorting )Electronic computers(-- Congresses

، Abstract data types )Computer science(-- Congresses

334

S632

1990

K.H. Blasius, U. Hedtstuck, C.-R. Rollinger, eds

AU (snaH lraK).H .K ,suisalB

AU (hcirlU).U ,kcutstdeH 1951-

AU .reniaR-sualC ,regnilloR

CO IBM Deutschland

SE Lecture notes in computer science, Lecture notes in artificial intelligence