عنوان
پدید آورنده
موضوع
رده
Q 335 .R35 1988
Q
335
.
R35
1988
کتابخانه
محل استقرار
Formal methods in artificial intelligence
Cambridge
Cambridge University Press
c1988
ix, 279p.: ill
Cambridge tracts in theoretical computer science; 6
Bibliography: p. ]273[-275
ISBN: 0521352363
Allan Ramsay
1
Methodology ، Artificial intelligence
، Logic, Symbolic and mathematical
، Reasoning
Q
335
.
R35
1988
Ramsay, Allan, 3591-
AU
TI
SE
