Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN：
LOGIC AND THE FOUNDATIONS OF GAME AND DECISION THEORY(LOFT 7)
GIACOMO BONANNO2008 年出版240 页ISBN：9789089640260
ARTIFICIAL INTELLIGENCE AND INFORMATION-CONTROL SYSTEMS OF ROBOTS-87
IVAN PLANDER2222 年出版499 页ISBN：0444703039
ARTIFICIAL INTELLIGENCE AND INFORMATION-CONTROL SYSTEMS OF ROBOTS-89
IVAN PLANDER2222 年出版452 页ISBN：0444883177
INDUSTRIAL AND ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND EXPERT SYSTEMS
2222 年出版546 页ISBN：2881246044
Lecture Notes in Computer Science 4024 Petri Nets and Other Models of Convurrency-ICATPN 2006 27th I
2006 年出版440 页ISBN：3540346996
Lecture Notes in Computer Science 4546 Petri Nets and Other Models of Convurrency-ICATPN 2007 28th I
ICATPN 20072007 年出版515 页ISBN：9783540730934
SERIES IN MACHINE PERCEPTION AND ARTIFICIAL INTELLIGENCE VOL.73 PROGRESS IN COMPUTER VISION AND IM
2010 年出版580 页ISBN：9812834454
ARTIFICIAL INTELLIGENCE APPLICATIONS：THE ENGINEERING OF KNOWLEDGE-BASED SYSTEMS
CHARLES R.WEISBIN1985 年出版685 页ISBN：0444879684
HOW MACHINES THINK A GENERAL INTRODUCTION TO ARTIFICIAL INTELLIGENCE ILLUSTRATED IN PROLOG
Nigel Ford1987 年出版206 页ISBN：
