skip to main content
Résultats 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Intelligence artificielle Cours, exercices
Material Type:
Livre
Ajouter à Mon espace

Intelligence artificielle Cours, exercices

Gacogne Louis

Ellipses, 2016

Voir les exemplaires

2
Material Type:
Livre
Ajouter à Mon espace

PROLOG. A STEP TOWARD THE ULTIMATE COMPUTER LANGUAGE.

s.n., 1981

Voir les exemplaires

3
Material Type:
Livre
Ajouter à Mon espace

PROLOG,BASES THEORIQUES ET DEVELOPPEMENTS ACTUELS.

Paris : Dunod, 1983

Voir les exemplaires

4
Material Type:
Livre
Ajouter à Mon espace

Le système graphique ash - prolog et son utilisation pour le prototypage rapide d'interfaces homme-machine

Michard, Alain ; Monceyron, Rric

Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, 1986

Voir les exemplaires

5
Material Type:
Livre
Ajouter à Mon espace

Trois implantations de récupérateur de mémoire de la machine MALI

Le Hénaff, Michel ; Sanson, Hervé ; IRISA 117

S.l : sn, 1988

Voir les exemplaires

6
Material Type:
Livre
Ajouter à Mon espace

THE WAM : A (REAL) TUTORIAL

Aït-Kaci, Hassan (1954-....)

Paris : Digital equipment corporation, 1990

Voir les exemplaires

7
Material Type:
Versions multiples

Prolog

Giannesini, Françis ; Kanoui, Henry ; Pasero, Robert ; Colmerauer, Alain (1941-....)

Plusieurs versions trouvées
Il y a 2 versions

8
Material Type:
Versions multiples

Programming in Prolog

Clocksin, William F (1955-....) ; Mellish, Christopher S. (1954-....)

Plusieurs versions trouvées
Il y a 5 versions

9
Material Type:
Livre
Ajouter à Mon espace

MANUEL D'UTILISATION DU PROLOG-BORDEAUX.

TALENCE : s.n., 1984

Voir les exemplaires

10
Material Type:
Thèse
Ajouter à Mon espace

Une formalisation des structures de contrôle de Prolog

Billaud, Michel

S.l. : s.n., 1985

Voir les exemplaires

11
APPLICATION DES TECHNIQUES DE L'INTELLIGENCE ARTIFICIELLE AU DIAGNOSTIC DE DEFAUTS DES CIRCUITS IMPRIMES.
Material Type:
Thèse
Ajouter à Mon espace

APPLICATION DES TECHNIQUES DE L'INTELLIGENCE ARTIFICIELLE AU DIAGNOSTIC DE DEFAUTS DES CIRCUITS IMPRIMES.

PARIS : ENST, 1985

Voir les exemplaires

12
Spécifications formelles et exécutables en programmation en logique : application à la standardisation de prolog
Material Type:
Thèse
Ajouter à Mon espace

Spécifications formelles et exécutables en programmation en logique : application à la standardisation de prolog

S.L. : s.n., 1993

Voir les exemplaires

13
Material Type:
Livre
Ajouter à Mon espace

TEST SETS GENETATION FROM ALGEBRAIC SPECIFICATIONS USING LOGIC PROGRAMMING.

S.L. : s.n., 1985

Voir les exemplaires

14
Prolog : fondements et applications
Material Type:
Livre
Ajouter à Mon espace

Prolog : fondements et applications

Condillac, Maryse

Paris : Dunod AFCET Informatique, 1986

Disponible  et autres localisations(Obtenir)

15
Prolog programming for artificial intelligence
Material Type:
Livre
Ajouter à Mon espace

Prolog programming for artificial intelligence

Bratko, Ivan

Wokingham, England Reading, Mass. : Addison-Wesley, 1986

Voir les exemplaires(Obtenir)

16
Micro-PROLOG : programming in logic
Material Type:
Livre
Ajouter à Mon espace

Micro-PROLOG : programming in logic

Clarck, K.L. Keith L. ; McCabe, Franck G. (1953-....)

Englewood Cliffs, N.J. : Prentice/Hall International, 1984

Disponible  et autres localisations(Obtenir)

17
Le Langage D-Prolog : initiation au langage de la 5e génération
Material Type:
Livre
Ajouter à Mon espace

Le Langage D-Prolog : initiation au langage de la 5e génération

Donz, Philippe ; Hurtado, Rosalie

Paris : Éditests, 1984

Disponible  et autres localisations(Obtenir)

18
L'anatomie de Prolog
Material Type:
Livre
Ajouter à Mon espace

L'anatomie de Prolog

Van Caneghem, Michel

Paris : Inter Éditions, 1986

Voir les exemplaires(Obtenir)

19
Material Type:
Livre
Ajouter à Mon espace

Workshop on compilation of (symbolic) languages for parallel computers

S.L. : s.n., 1991

Voir les exemplaires(Obtenir)

20
Functional and Logic Programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
Material Type:
Livre
Ajouter à Mon espace

Functional and Logic Programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

Codish, Michael ; Sumii, Eijiro

Cham Heidelberg : Springer International Publishing Switzerland Imprint: Springer Springer e-books, 2014

Voir les exemplaires(Obtenir)

Résultats 1 2 3 4 5 next page

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

N'afficher que

  1. Disponible (37)

Affiner les résultats

Type de ressource 

  1. Actes de conférence  (1)
  2. Livres  (113)
  3. Thèses  (10)
  4. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1983  (7)
  2. 1983 à 1986  (36)
  3. 1987 à 1990  (53)
  4. 1991 à 1995  (21)
  5. Après 1995  (12)
  6. Plus d’options open sub menu

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré