عنوان
پدید آورنده
موضوع
رده
Q 335 .R454 1993
Q
335
.
R454
1993
کتابخانه
محل استقرار
100948
زمستان۴۷
English
)20(
Resolution methods for the decision problem
Berlin, New York
Springer-Verlag
1993
viii, 205 p. : 24 cm
Lecture notes in computer science; 976
Includes bibliographical references ]p. ]198[-203[ and index
، Artificial intelligence-- Mathematical models
، Decision-making-- Mathematical models
Q
335
.
R454
1993
TI
C. Fermuller ... ]et al.[
AU (naitsirhC).C ,rellumreF 1963-
SE
SE Lecture notes in computer science, Lecture notes in artificial intelligence
02
