Ramsay, Allan, 1953-
Formal methods in artificial intelligence / Allan Ramsay
Formal methods in artificial intelligence / Allan Ramsay . - 1st paperback ed. . - xxa Cambridge xxa-fimyyc Cambridge University Press yyc-fim, 1991 . - ix, 279 p. 25 cm . - (Cambridge tracts in theoretical computer science; 6)
0521424216 brochado
Inteligência artificial
Metodologia
Lógica simbólica
Lógica matemática
004.8
164
Formal methods in artificial intelligence / Allan Ramsay . - 1st paperback ed. . - xxa Cambridge xxa-fimyyc Cambridge University Press yyc-fim, 1991 . - ix, 279 p. 25 cm . - (Cambridge tracts in theoretical computer science; 6)
0521424216 brochado
Inteligência artificial
Metodologia
Lógica simbólica
Lógica matemática
004.8
164
