2 résultat(s) recherche sur le mot-clé 'prolog'

512 problèmes corrigés Pascal, C++, Lisp, Prolog / Gacôgne, Louis

Public ISBD Titre : 512 problèmes corrigés Pascal, C++, Lisp, Prolog Type de document : texte imprimé Auteurs : Gacôgne, Louis Editeur : Paris : Ellipses Année de publication : 1996 Importance : 304 p. ISBN/ISSN/EAN : 978-2-7298-5550-5 Langues : Français Catégories : 68-XX Computer science Mots-clés : prolog  lisp  c++  pascal  langage  programmation  exercices  manuel Index. décimale : 68C Monographie 512 problèmes corrigés Pascal, C++, Lisp, Prolog [texte imprimé] / Gacôgne, Louis . - Paris : Ellipses, 1996 . - 304 p. ISBN : 978-2-7298-5550-5 Langues : Français Catégories : 68-XX Computer science Mots-clés : prolog  lisp  c++  pascal  langage  programmation  exercices  manuel Index. décimale : 68C Monographie

Exemplaires

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

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