Formal methods in artificial intelligence

Enregistré dans:
Détails bibliographiques
Auteur principal : Ramsay Allan (Auteur)
Format : Livre
Langue : anglais
Titre complet : Formal methods in artificial intelligence / Allan Ramsay
Publié : Cambridge, New York : Cambridge University Press , cop. 1988
Description matérielle : 1 vol. (IX-279 p.)
Collection : Cambridge tracts in theoretical computer science ; 6
Sujets :
Description
Bibliographie : Bibliogr. p. [273]-275. Index
ISBN : 0-521-35236-3
0-521-424216