Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livre
|
![]() |
Intelligence artificielle Cours, exercicesGacogne LouisEllipses, 2016Voir les exemplaires |
2 |
Material Type: Livre
|
![]() |
PROLOG. A STEP TOWARD THE ULTIMATE COMPUTER LANGUAGE.s.n., 1981Voir les exemplaires |
3 |
Material Type: Livre
|
![]() |
PROLOG,BASES THEORIQUES ET DEVELOPPEMENTS ACTUELS.Paris : Dunod, 1983Voir les exemplaires |
4 |
Material Type: Livre
|
![]() |
Trois implantations de récupérateur de mémoire de la machine MALILe Hénaff, Michel ; Sanson, Hervé ; IRISA 117S.l : sn, 1988Voir les exemplaires |
5 |
Material Type: Livre
|
![]() |
THE WAM : A (REAL) TUTORIALAït-Kaci, Hassan (1954-....)Paris : Digital equipment corporation, 1990Voir les exemplaires |
6 |
Material Type: Livre
|
![]() |
Le système graphique ash - prolog et son utilisation pour le prototypage rapide d'interfaces homme-machineMichard, Alain ; Monceyron, RricLe Chesnay, France : Institut National de Recherche en Informatique et en Automatique, 1986Voir les exemplaires |
7 |
Material Type: Versions multiples
|
PrologGiannesini, Françis ; Kanoui, Henry ; Pasero, Robert ; Colmerauer, Alain (1941-....)Plusieurs versions trouvéesPour voir, cliquer sur le titre ou sur le lien ci-dessous |
|
8 |
Material Type: Versions multiples
|
Programming in PrologClocksin, William F (1955-....) ; Mellish, Christopher S. (1954-....)Plusieurs versions trouvéesPour voir, cliquer sur le titre ou sur le lien ci-dessous |
|
9 |
Material Type: Livre
|
![]() |
MANUEL D'UTILISATION DU PROLOG-BORDEAUX.TALENCE : s.n., 1984Voir les exemplaires |
10 |
Material Type: Thèse
|
![]() |
Une formalisation des structures de contrôle de PrologBillaud, MichelS.l. : s.n., 1985Voir les exemplaires |
11 |
Material Type: Thèse
|
![]() |
APPLICATION DES TECHNIQUES DE L'INTELLIGENCE ARTIFICIELLE AU DIAGNOSTIC DE DEFAUTS DES CIRCUITS IMPRIMES.PARIS : ENST, 1985Voir les exemplaires |
12 |
Material Type: Livre
|
![]() |
TEST SETS GENETATION FROM ALGEBRAIC SPECIFICATIONS USING LOGIC PROGRAMMING.S.L. : s.n., 1985Voir les exemplaires |
13 |
Material Type: Thèse
|
![]() |
Spécifications formelles et exécutables en programmation en logique : application à la standardisation de prologS.L. : s.n., 1993Voir les exemplaires |
14 |
Material Type: Livre
|
![]() |
Prolog : fondements et applicationsCondillac, MaryseParis : Dunod AFCET Informatique, 1986Disponible et autres localisations(Obtenir) |
15 |
Material Type: Livre
|
![]() |
Prolog programming for artificial intelligenceBratko, IvanWokingham, England Reading, Mass. : Addison-Wesley, 1986Voir les exemplaires(Obtenir) |
16 |
Material Type: Livre
|
![]() |
L'anatomie de PrologVan Caneghem, MichelParis : Inter Éditions, 1986Voir les exemplaires(Obtenir) |
17 |
Material Type: Livre
|
![]() |
Micro-PROLOG : programming in logicClarck, K.L. Keith L. ; McCabe, Franck G. (1953-....)Englewood Cliffs, N.J. : Prentice/Hall International, 1984Disponible et autres localisations(Obtenir) |
18 |
Material Type: Livre
|
![]() |
Le Langage D-Prolog : initiation au langage de la 5e générationDonz, Philippe ; Hurtado, RosalieParis : Éditests, 1984Disponible et autres localisations(Obtenir) |
19 |
Material Type: Livre
|
![]() |
Workshop on compilation of (symbolic) languages for parallel computersS.L. : s.n., 1991Voir les exemplaires(Obtenir) |
20 |
Material Type: Livre
|
![]() |
Functional and Logic Programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. ProceedingsCodish, Michael ; Sumii, EijiroCham Heidelberg : Springer International Publishing Switzerland Imprint: Springer Springer e-books, 2014Voir les exemplaires(Obtenir) |