Titre :	Formal methods in artificial intelligence
Type de document :	texte imprimé
Auteurs :	Allan Ramsay
Editeur :	Cambridge : Cambridge university press
Année de publication :	cop.1988
Collection :	Cambridge tracts in theoretical computer science num. 6
Importance :	IX-279 p.
Présentation :	couv.ill.
Format :	25 cm
ISBN/ISSN/EAN :	978-0-521-35236-9
Note générale :	Bibliogr.Index p.276-279.
Langues :	Anglais (eng)
Catégories :	Infomatique
Tags :	Informatique  Intelligence artificielle
Index. décimale :	004 Traitement de données. Informatique
Permalink :	https://bu.umc.edu.dz/catalogue/index.php?lvl=notice_display&id=3619

Formal methods in artificial intelligence [texte imprimé] / Allan Ramsay . - Cambridge : Cambridge university press, cop.1988 . - IX-279 p. : couv.ill. ; 25 cm. - (Cambridge tracts in theoretical computer science; 6) .
ISBN : 978-0-521-35236-9
Bibliogr.Index p.276-279.
Langues : Anglais (eng)

Catégories :	Infomatique
Tags :	Informatique  Intelligence artificielle
Index. décimale :	004 Traitement de données. Informatique
Permalink :	https://bu.umc.edu.dz/catalogue/index.php?lvl=notice_display&id=3619