Documents disponibles dans la collection

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

Public ISBD Titre : a First course in formal logic and its applications in computer science Type de document : texte imprimé Auteurs : Dowsing, R.D. ; Walter, C.D ; Rayward-Smith, V.J. 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 (eng) 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é] / Dowsing, R.D. ; Walter, C.D ; Rayward-Smith, V.J. . - Blackwell Scientific Publications, 1986 . - vi - 265 p.. - (Computer Science Texts) . ISBN : 978-0-632-01308-1 Langues : Anglais (eng) 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

Réservation

Réserver ce document

Exemplaires

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