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
Publisher City : Edingburgh ; London ; Oxford
Publisher country : Grande-Bretagne
Language : English
EAN13 : 9780632016129
ISBN : 0-632-01612-4
Collation : Bibliogr. ; Index ; vi#24 cm#rel.
Series : Computer science texts
Location : Ouvrage RdC (DOWS)
ACM code : F.4
Book type : Monographie
Availability : empruntable
Level of authorization : Public
No. | Call n° | Bar code | Commentary | |
---|---|---|---|---|
1 | 00012656 | [available] |