17944
Ramsay, Allan
3591-
Formal methods in artificial intelligence
Cambridge; New York
Cambridge University Press
1988
ix, 279p.: ill
Cambridge tracts in theoretical computer science; 6
Bibliography: p. ]273[-275
Includes index
Allan Ramsay
Methodology ، Attificial intelligence
، Logic, Symbolic and mathematical
، Reasoning
Q
335
.
R35
1988
AU
TI
SE
CL
