Formal methods in artificial intelligence / Allan Ramsay

Public ISBD 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

Réservation

Réserver ce document

Exemplaires (4)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
SC8/55549	SC8/55549	Livre	Bibliothèque principale	indéterminé	Disponible
SC8/55550	SC8/55550	Livre	Bibliothèque principale	indéterminé	Disponible
SC8/55551	SC8/55551	Livre	Bibliothèque principale	indéterminé	Disponible
SC8/55552	SC8/55552	Livre	Bibliothèque principale	indéterminé	Disponible

---

1 (1 - 1 / 1)