Lecture Notes in Conputer Science 4218 Automated Technology for Verification and Analysis 4th Intern
ATVA 20062006 年出版540 页ISBN：3540472371
Valuing Technology The New Science of Wealth in the Knowledge Economy
2002 年出版239 页ISBN：047082056X
THE COGNITIVE COMPUTER ON LANGUAGE，LEARNING，AND ARTIFICIAL INTELLIGENCE
ROGER C.SCHANK AND PETER G.CHILDERS1984 年出版268 页ISBN：020106443X
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES 89 AN EXPERT SYSTEMS APPROACH TO COMPUTER-AIDED
G.K.H.PANG AND A.G.J.MACFARLANE1987 年出版325 页ISBN：3540173560
LECTURE NOTES IN MATHEMATICS 1337: THEORY OF MODULI
1988 年出版237 页ISBN：3540500804;0387500804
LECTURE NOTES IN MATHEMATICS 944: REPRESENTATIONS OF ALGEBRAS
1982 年出版258 页ISBN：3540115773;0387115773
LECTURE NOTES IN MATHEMATICS 1365: TOPICS IN CALCULUS OF VARIATIONS
1989 年出版196 页ISBN：3540507272;0387507272
ARTIFICIAL INTELLIGENCE AND HUMAN LEARNING INTELLIGENT COMPUTER-AIDED INSTRUCTION
JOHN SELF1988 年出版432 页ISBN：0412166100
ARTIFICIAL INTELLIGENCE EXPERT SYSTEMS COMPUTER VISION AND NATURAL LANGUAGE PROCESSING
WILLIAM B.GEVARTER2222 年出版225 页ISBN：0815509944
