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