عنوان
پدید آورنده
موضوع
رده
QA 76 .L5663 1991
QA
76
.
L5663
1991
کتابخانه
محل استقرار
95887
آخر۲۷
English
)20(
The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989, proceedings
Berlin, New York
Springer-Verlag
1991
x, 334 p. : ill. ; 25 cm
Lecture notes in computer science, 564, lecture notes in artificial intelligence
Includes bibliographical references
، Computer science-- Congresses
، Logic, Symbolic and mathematical-- Congresses
QA
76
.
L5663
1991
TI
A. Fuhrmann, M. Morreau, eds
AU nnamrhuF 1958-
CO Morreau
SE Lecture notes in computer science, 465
SE Lecture notes in computer science, Lecture notes in artificial intelligence
02
