عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.515
QA
76
.
L28
Vol
.
515
کتابخانه
محل استقرار
Truth maintenance systems : ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990 : proceedings
1990: Stockholm, Sweden
Berlin
Springer-Verlag
c1991
]vii[, 177p.: ill., tables
Lecture notes in computer science; 515. Lecture notes in artificial intelligence
]Papers from[ the Truth Maintenance Workshop...held on August 6, 1990, during the European Conferenc on Artificial Intelligence in Stockholm, Sweden
Includes bibliographies
ISBN: 3540543058
J.P. Martins, M. Reinfrank, )eds.(
1
Congresses ، Truth maintenance systems
QA
76
.
L28
Vol
.
515
AU
AU Martins, Joao P.
AU Reinfrank, Michael, 1958-
CO European Conference on Artificial Intelligence 1990: Stockholm, Sweden
TI
SE Lecture notes in computer science 515
Truth Maintenance Systems Workshop
