Approche logique de l'intelligence artificielle : Tome 1: de la logique classique à la programmation logique / André Thayse (1990)

Public ISBD Titre : Approche logique de l'intelligence artificielle : Tome 1: de la logique classique à la programmation logique Type de document : texte imprimé Auteurs : André Thayse, Auteur ; Bruffaerts Albert, Auteur ; Pierre Dupont, Auteur ; Eric Hénin, Auteur ; Yves Kamp, Auteur ; Jean-Pierre Müller, Auteur ; Jean-Louis Binot, Auteur ; Dominique Snyers, Auteur ; Philippe Delsarte, Collaborateur Editeur : Paris : Dunod Année de publication : 1990 Collection : informatique Importance : XIV-386 p. Format : 24 cm ISBN/ISSN/EAN : 978-2-04-019860-2 Catégories : RAMEAU Logique Mots-clés : représentation de connaissances  Logique  raisonnement révisable  langage PROLOG  logique Note de contenu : Bibliogr p. 372; index p. 381 Type de document : Livre Permalien de la notice : https://infodoc.agroparistech.fr/index.php?lvl=notice_display&id=191686 Approche logique de l'intelligence artificielle : Tome 1: de la logique classique à la programmation logique [texte imprimé] / André Thayse, Auteur ; Bruffaerts Albert, Auteur ; Pierre Dupont, Auteur ; Eric Hénin, Auteur ; Yves Kamp, Auteur ; Jean-Pierre Müller, Auteur ; Jean-Louis Binot, Auteur ; Dominique Snyers, Auteur ; Philippe Delsarte, Collaborateur . - Paris : Dunod, 1990 . - XIV-386 p. ; 24 cm. - (informatique) . ISBN : 978-2-04-019860-2 Catégories : RAMEAU Logique Mots-clés : représentation de connaissances  Logique  raisonnement révisable  langage PROLOG  logique Note de contenu : Bibliogr p. 372; index p. 381 Type de document : Livre Permalien de la notice : https://infodoc.agroparistech.fr/index.php?lvl=notice_display&id=191686

Exemplaires

Localisation	Emplacement	Section	Cote	Support	Code-barres	Disponibilité
Paris Claude Bernard	Département MMIP	Bib. MMIP-Informatique	I ia 3	Papier	MMIP25	Empruntable sous conditions

Approche logique de l'intelligence artificielle : tome 2: de la logique modale à la logique des bases de données / André Thayse (1989)

Public ISBD Titre : Approche logique de l'intelligence artificielle : tome 2: de la logique modale à la logique des bases de données Type de document : texte imprimé Auteurs : André Thayse, Auteur ; Dominique Snyers, Auteur ; Philippe Delsarte, Collaborateur ; Pascal Gribomont, Auteur ; Guy Hulin, Auteur ; Alain Pirotte, Auteur ; Dominique Roelants, Auteur ; Marc Vauclair, Auteur ; Paul Gochet, Auteur ; Pierre Wolper, Auteur ; Eric Gregoire, Auteur Editeur : Paris : Dunod Année de publication : 1989 Collection : informatique Importance : XX-427 p. Format : 24 cm ISBN/ISSN/EAN : 978-2-04-018757-6 Catégories : Thésaurus Agrovoc Informatique RAMEAU Informatique Mots-clés : Data Processing  Informática  raisonnement révisable  logiques non classiques Note de contenu : Bibliogr p. 395; index p. 417 Type de document : Livre Permalien de la notice : https://infodoc.agroparistech.fr/index.php?lvl=notice_display&id=191688 Approche logique de l'intelligence artificielle : tome 2: de la logique modale à la logique des bases de données [texte imprimé] / André Thayse, Auteur ; Dominique Snyers, Auteur ; Philippe Delsarte, Collaborateur ; Pascal Gribomont, Auteur ; Guy Hulin, Auteur ; Alain Pirotte, Auteur ; Dominique Roelants, Auteur ; Marc Vauclair, Auteur ; Paul Gochet, Auteur ; Pierre Wolper, Auteur ; Eric Gregoire, Auteur . - Paris : Dunod, 1989 . - XX-427 p. ; 24 cm. - (informatique) . ISBN : 978-2-04-018757-6 Catégories : Thésaurus Agrovoc Informatique RAMEAU Informatique Mots-clés : Data Processing  Informática  raisonnement révisable  logiques non classiques Note de contenu : Bibliogr p. 395; index p. 417 Type de document : Livre Permalien de la notice : https://infodoc.agroparistech.fr/index.php?lvl=notice_display&id=191688

Exemplaires

Localisation	Emplacement	Section	Cote	Support	Code-barres	Disponibilité
Paris Claude Bernard	Département MMIP	Bib. MMIP-Informatique	I ia 4	Papier	MMIP19	Empruntable sous conditions

Architecture et technologie des ordinateurs / Paolo Zanella (1989)

Public ISBD Titre : Architecture et technologie des ordinateurs Type de document : texte imprimé Auteurs : Paolo Zanella, Auteur ; Yves Ligier, Auteur Editeur : Paris : Dunod Année de publication : 1989 Collection : informatique Importance : XI-458 p. Format : 24 cm ISBN/ISSN/EAN : 978-2-04-018795-8 Catégories : Thésaurus Agrovoc Matériel ; Microprocesseur Mots-clés : Attrezzatura  AUSSTATTUNG  circuits logiques  Equipment  Equipo  Microprocesadores  Microprocessori  Microprocessors  MIKROPROZESSOR  systèmes d'exploitation  réseaux & télécom Note de contenu : Glosssaire-index p. 439 Type de document : Livre Permalien de la notice : https://infodoc.agroparistech.fr/index.php?lvl=notice_display&id=190799 Architecture et technologie des ordinateurs [texte imprimé] / Paolo Zanella, Auteur ; Yves Ligier, Auteur . - Paris : Dunod, 1989 . - XI-458 p. ; 24 cm. - (informatique) . ISBN : 978-2-04-018795-8 Catégories : Thésaurus Agrovoc Matériel ; Microprocesseur Mots-clés : Attrezzatura  AUSSTATTUNG  circuits logiques  Equipment  Equipo  Microprocesadores  Microprocessori  Microprocessors  MIKROPROZESSOR  systèmes d'exploitation  réseaux & télécom Note de contenu : Glosssaire-index p. 439 Type de document : Livre Permalien de la notice : https://infodoc.agroparistech.fr/index.php?lvl=notice_display&id=190799

Exemplaires

Localisation	Emplacement	Section	Cote	Support	Code-barres	Disponibilité
Paris Claude Bernard	Département MMIP	Bib. MMIP-Informatique	ZAN	Papier	1001421	Empruntable sous conditions

La construction de programmes structurés / Jacques Arsac (1977)

Public ISBD Titre : La construction de programmes structurés Type de document : texte imprimé Auteurs : Jacques Arsac, Auteur Editeur : Paris : Dunod Année de publication : 1977 Collection : informatique Importance : XXIV-380 p. Format : 24 cm ISBN/ISSN/EAN : 978-2-04-007922-2 Mots-clés : algorithmique  méthodes  programmation Type de document : Livre Permalien de la notice : https://infodoc.agroparistech.fr/index.php?lvl=notice_display&id=190351 La construction de programmes structurés [texte imprimé] / Jacques Arsac, Auteur . - Paris : Dunod, 1977 . - XXIV-380 p. ; 24 cm. - (informatique) . ISBN : 978-2-04-007922-2 Mots-clés : algorithmique  méthodes  programmation Type de document : Livre Permalien de la notice : https://infodoc.agroparistech.fr/index.php?lvl=notice_display&id=190351

Exemplaires

Localisation	Emplacement	Section	Cote	Support	Code-barres	Disponibilité
Paris Claude Bernard	Département MMIP	Bib. MMIP-Informatique	ARS	Papier	1000077	Empruntable sous conditions

Les fichiers : pratique et choix de l'organisation des données informatiques / Claude Jouffroy (1977)

Public ISBD Titre : Les fichiers : pratique et choix de l'organisation des données informatiques Type de document : texte imprimé Auteurs : Claude Jouffroy, Auteur ; Charles Létang, Auteur Mention d'édition : 2è éd Editeur : Paris : Dunod Année de publication : 1977 Collection : informatique Importance : XII-197 p; Format : 24 cm ISBN/ISSN/EAN : 978-2-04-003123-7 Catégories : Thésaurus Agrovoc Informatique RAMEAU Informatique Mots-clés : Data Processing  Informática  fichiers Note de contenu : index Type de document : Livre Permalien de la notice : https://infodoc.agroparistech.fr/index.php?lvl=notice_display&id=190356 Les fichiers : pratique et choix de l'organisation des données informatiques [texte imprimé] / Claude Jouffroy, Auteur ; Charles Létang, Auteur  . -  2è éd . - Paris : Dunod, 1977 . - XII-197 p; ; 24 cm. - (informatique) . ISBN : 978-2-04-003123-7 Catégories : Thésaurus Agrovoc Informatique RAMEAU Informatique Mots-clés : Data Processing  Informática  fichiers Note de contenu : index Type de document : Livre Permalien de la notice : https://infodoc.agroparistech.fr/index.php?lvl=notice_display&id=190356

Exemplaires

Localisation	Emplacement	Section	Cote	Support	Code-barres	Disponibilité
Paris Claude Bernard	Département MMIP	Bib. MMIP-Informatique	JOU	Papier	1000749	Empruntable sous conditions

Fortran IV / Michel Dreyfus (1975)

Permalink

De l'image à la décision : analyse des images numériques et théorie de la décision / J-G. Postaire (1987)

Permalink

Let's talk D.P. : lexique d'informatique frs/angl. - américain-engl., américan/ french / Jean-Pierre Drieux (1977)

Permalink

Principes des ordinateurs / Patrick De Miribel (1975)

Permalink

Principes des systèmes d'exploitation des ordinateurs / Sacha Krakowiak (1987)

Permalink

Synchronisation de programmes parallèles : expression et mise en oeuvre dans les systèmes centralisés ou distribués / Françoise André (1983)

Permalink

Systèmes d'exploitation des ordinateurs : Principes et conception / Claude Kaiser (1975)

Permalink

Théorie des programmes : schémas, preuves, sémantique / C. Livercy (1978)

Permalink

VM/CMS : Maîtrise et mise en pratique / Veneta Badeva (1991)

Permalink