A first course in formal logic and its applications in computer science
Dowsing, R. D. (Principal) ; Smith, S. (Co-auteur) ; Walter , C. D. (Co-auteur)
Blackwell Scientific Publications
1986
265 p.
978-0-632-01612-9
00012656
logique formelle # programmation logique
Ville d'édition : Edingburgh ; London ; Oxford
Pays d'édition : Grande-Bretagne
Langue : Anglais
EAN13 : 9780632016129
ISBN : 0-632-01612-4
Collation : Bibliogr. ; Index ; vi#24 cm#rel.
Collection : Computer science texts
Localisation : Ouvrage RdC (DOWS)
Code ACM : F.4
Type d'ouvrage : Monographie
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00012656 | [disponible] |