عنوان
پدید آورنده
موضوع
رده
QA 335 .S6 1996
QA
335
.
S6
1996
کتابخانه
محل استقرار
02BL0000000001348
انگلیسی
Sorts and types in artificial intelligence
K.H. Blغasius, U. Hedtstغuck, C.-R. Rollinger, eds.
Berlin ;
New York
Springer-Verlag
c1990
viii, 307 p. : ill. ; 25 cm.
, 1348 , 2-1
Lecture notes in computer science ; 418. Lecture notes in artificial intelligence
workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings /
Includes bibliographical references.
Artificial intelligence -- Congresses
Logic, Symbolic and mathematical -- Congresses
Sorting )Electronic computers( -- Congresses
Abstract data types )Computer science( -- Congresses
QA
335
.
S6
1996
Sorts and types in artificial intelligence
AU
AU
AU
AU
Blغasius, K. H. )Karl Hans(
Hedtstغuck, U. )Ulrich(, 1951-
Rollinger, Claus-Rainer.
IBM Deutschland.
