a First course in formal logic and its applications in computer science / R. D. Dowsing

Public ISBD Titre : a First course in formal logic and its applications in computer science Type de document : texte imprimé Auteurs : R. D. Dowsing ; Walter, C.D ; V. J. Rayward-Smith Editeur : Oxford : Blackwell Scientific Publications Année de publication : 1986 Collection : Computer Science Texts Importance : vi - 265 p. ISBN/ISSN/EAN : 978-0-632-01308-1 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B05 Classical propositional logic 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : prolog  quicksort  pascal  logic programming  resolution  program correctness  switching networks  deductions  boolean algebra Index. décimale : 68C Monographie a First course in formal logic and its applications in computer science [texte imprimé] / R. D. Dowsing ; Walter, C.D ; V. J. Rayward-Smith . - Oxford : Blackwell Scientific Publications, 1986 . - vi - 265 p.. - (Computer Science Texts) . ISBN : 978-0-632-01308-1 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B05 Classical propositional logic 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : prolog  quicksort  pascal  logic programming  resolution  program correctness  switching networks  deductions  boolean algebra Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
16035	68C194	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

---

page 1/1