A First course in formal logic and its applications in computer science

A First course in formal logic and its applications in computer science

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Dowsing R.D (Auteur), Walter C.D (Auteur), Rayward-Smith V.J (Auteur)
Format : Livre
Langue : anglais
Titre complet : A First course in formal logic and its applications in computer science / R.D. Dowsing, V.J. Rayward-Smith, C.D. Walter
Publié : Oxford, Boston, Melbourne : Blackwell Scientific Publ. , 1986
Description matérielle : VI-265 p.
Collection : Computer science texts
Chargement en cours