Biblio Math&Info
Détail de l'éditeur
Documents disponibles chez cet éditeur
Affiner la recherche Interroger des sources externes
Logique et fondements de l'informatique / Richard Lassaigne
Titre : Logique et fondements de l'informatique : logique du 1er ordre, calculabilité et lambda-calcul Type de document : texte imprimé Auteurs : Richard Lassaigne, Auteur ; Michel de Rougemont, Auteur Editeur : Paris : Hermès Année de publication : 1993 Collection : Traité des nouvelles technologies Sous-collection : Série Informatique ISBN/ISSN/EAN : 978-2-86601-380-6 Catégories : Informatique
Informatique:programmes
Informatique:programmes:ProgrammationMots-clés : Logique symbolique et mathématique Index. décimale : 005.1 Programmation
Logique et fondements de l'informatique : logique du 1er ordre, calculabilité et lambda-calcul [texte imprimé] / Richard Lassaigne, Auteur ; Michel de Rougemont, Auteur . - Paris : Hermès, 1993. - (Traité des nouvelles technologies. Série Informatique) .
ISBN : 978-2-86601-380-6
Catégories : Informatique
Informatique:programmes
Informatique:programmes:ProgrammationMots-clés : Logique symbolique et mathématique Index. décimale : 005.1 Programmation
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité 9782866013806MIT001 005.1/021 Livre Maths&Informatique Fonds informatique Disponible 9782866013806MIT002 005.1/021 Livre Maths&Informatique Fonds informatique Disponible Logique et langage / Frédéric Nef
Titre : Logique et langage : essais de sémantique intensionnelle Type de document : texte imprimé Auteurs : Frédéric Nef (1947-....), Auteur Editeur : Paris : Hermès Année de publication : 1988 ISBN/ISSN/EAN : 978-2-86601-144-4 Note générale : Recueil de textes extr. de diverses rev. et publ., 1983-1986
Catégories : Informatique
Informatique:Méthodes informatiques particulières
Informatique:Méthodes informatiques particulières:Intelligence artificielleMots-clés : Langage et logique Sémantique Montague , Grammaire de Index. décimale : 006.3 Intelligence artificielle Logique et langage : essais de sémantique intensionnelle [texte imprimé] / Frédéric Nef (1947-....), Auteur . - Paris : Hermès, 1988.
ISBN : 978-2-86601-144-4
Recueil de textes extr. de diverses rev. et publ., 1983-1986
Catégories : Informatique
Informatique:Méthodes informatiques particulières
Informatique:Méthodes informatiques particulières:Intelligence artificielleMots-clés : Langage et logique Sémantique Montague , Grammaire de Index. décimale : 006.3 Intelligence artificielle Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 9782866011444MIT001 006.3/032 Livre Maths&Informatique Fonds informatique Disponible La Logique du langage naturel / Frédéric Nef
Titre : La Logique du langage naturel Type de document : texte imprimé Auteurs : Frédéric Nef (1947-....), Auteur Editeur : Paris : Hermès Année de publication : 1990 Collection : Technologies de pointe num. 39 ISBN/ISSN/EAN : 978-2-86601-210-6 Langues : Français (fre) Catégories : Informatique
Informatique:programmes
Informatique:programmes:Langages de programmationMots-clés : Langage naturel , Traitement du ( informatique) Langage et logique Index. décimale : 005.133 Langages de programmation spécifiques La Logique du langage naturel [texte imprimé] / Frédéric Nef (1947-....), Auteur . - Paris : Hermès, 1990. - (Technologies de pointe; 39) .
ISBN : 978-2-86601-210-6
Langues : Français (fre)
Catégories : Informatique
Informatique:programmes
Informatique:programmes:Langages de programmationMots-clés : Langage naturel , Traitement du ( informatique) Langage et logique Index. décimale : 005.133 Langages de programmation spécifiques Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 9782866012106MIT001 005.133/225 Livre Maths&Informatique Fonds informatique Disponible Logique / Paul Gochet
Titre : Logique : Volume 1 : Méthodes pour l'informatique fondamentale Type de document : texte imprimé Auteurs : Paul Gochet, Auteur ; Pascal Gribomont, Auteur Editeur : Paris : Hermès Année de publication : 1992 Collection : Langue, raisonnement, calcul, ISSN 0988-0569 ISBN/ISSN/EAN : 978-2-86601-249-6 Catégories : Mathématiques
Mathématiques:Principes généraux des mathématiquesMots-clés : Logique symbolique et mathématique Index. décimale : 511 Principes généraux des mathématiques Logique : Volume 1 : Méthodes pour l'informatique fondamentale [texte imprimé] / Paul Gochet, Auteur ; Pascal Gribomont, Auteur . - Paris : Hermès, 1992. - (Langue, raisonnement, calcul, ISSN 0988-0569) .
ISBN : 978-2-86601-249-6
Catégories : Mathématiques
Mathématiques:Principes généraux des mathématiquesMots-clés : Logique symbolique et mathématique Index. décimale : 511 Principes généraux des mathématiques Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité 9782866012496MIT001 511/071 Livre Maths&Informatique Fonds mathématiques Disponible 9782866012496MIT002 511/071 Livre Maths&Informatique Fonds mathématiques Disponible Logique / Paul Gochet
Titre : Logique : Volume 2 : Méthodes formelles pour l'étude des programmes Type de document : texte imprimé Auteurs : Paul Gochet, Auteur ; Pascal Gribomont, Auteur Editeur : Paris : Hermès Année de publication : 1994 Collection : Langue, raisonnement, calcul, ISSN 0988-0569 ISBN/ISSN/EAN : 978-2-86601-395-0 Catégories : Mathématiques
Mathématiques:Principes généraux des mathématiquesMots-clés : Logique symbolique et mathématique Index. décimale : 511 Principes généraux des mathématiques Logique : Volume 2 : Méthodes formelles pour l'étude des programmes [texte imprimé] / Paul Gochet, Auteur ; Pascal Gribomont, Auteur . - Paris : Hermès, 1994. - (Langue, raisonnement, calcul, ISSN 0988-0569) .
ISBN : 978-2-86601-395-0
Catégories : Mathématiques
Mathématiques:Principes généraux des mathématiquesMots-clés : Logique symbolique et mathématique Index. décimale : 511 Principes généraux des mathématiques Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité 9782866013950MIT001 511/072 Livre Maths&Informatique Fonds mathématiques Disponible 9782866013950MIT002 511/072 Livre Maths&Informatique Fonds mathématiques Disponible Les Logiques humaines et artificielles / Arnold Kaufmann
PermalinkMétaconnaissance / Jacques Pitrat
PermalinkMéthode d'automatisation industrielle / Guy Benchimol
PermalinkLes Méthodes d'analyse et de conception des systèmes de production / Henri Pierreval
PermalinkLe modèle relationnel / Mokrane Bouzeghoub
PermalinkModèles logiques et systèmes d'intelligence artificielle
PermalinkLe multimédia en entreprise / Christian Van Houcke
PermalinkNouvelles logiques pour l'intelligence artificielle / Arnold Kaufmann
PermalinkObjets et bases de données, le SGBD O2 / Michel Adiba
PermalinkPratique de l'assembleur I80x86 / Edwige Pissaloux
Permalink