Résultats 1 - 20 sur 128 pour PSL-Explore
| 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
|
|
THE WAM : A (REAL) TUTORIALAït-Kaci, Hassan (1954-....)Paris : Digital equipment corporation, 1990Voir les exemplaires |
| 5 |
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 |
| 6 |
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 |
| 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
|
|
L'anatomie de PrologVan Caneghem, MichelParis : Inter Éditions, 1986Voir les exemplaires(Obtenir) |
| 16 |
Material Type: Livre
|
|
Prolog programming for artificial intelligenceBratko, IvanWokingham, England Reading, Mass. : Addison-Wesley, 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) |
Résultats 1 - 20 sur 128 pour PSL-Explore
Personnaliser vos résultats
Refine Search Results
Élargir la recherche
N'afficher que
- Disponible (38)
Affiner les résultats
Type de ressource
- Actes de conférence (1)
- Livres (117)
- Thèses (10)
-
Plus d’options
Sujet
- Langage PROLOG (77)
- Prolog (langage de programmation) (49)
- Intelligence artificielle (26)
- PROGRAMMATION LOGIQUE (24)
- Langage de programmation (17)
- Logique (13)
- COMPILATION (13)
- Langage fonctionnel (12)
- PROGRAMMATION (12)
- Parallélisme (12)
- Transformation de programme (11)
- LANGAGE LISP (10)
- Architecture des ordinateurs (10)
- Prolog (Computer program language) (10)
- SPECIFICATION (9)
- Algorithmes parallèles (8)
- COLLECTE DES RESIDUS (8)
- Langage SMALLTALK (8)
- LAMBDA CALCUL (8)
- Prolog (8)
-
Plus d’options
Auteur
- Dupont, Jean-Yves, provenance (1951-2011) (5)
- Association for Computing Machinery.Special Interest Group on Programming Languages, Etats Unis (4)
- Rem, Martin (3)
- Université Paris-Dauphine (3)
- Aarts, Emile H. L (1955-...) (3)
- Van Caneghem, Michel (3)
- Farreny, Henri (2)
- Clocksin, William F (1955-...) (2)
- ACM.Special Interest Group on Programming Languages (2)
- Thayse, André, 1940-... (2)
- Sterling, Leon (2)
- Gribomont, Pascal (2)
- Mellish, Christopher S (1954-...) (2)
- Bratko, Ivan (2)
- Checroun, Alain, 1936-... (2)
- Colmerauer, Alain (1941-...) (2)
- Saint-Dizier, Patrick, 1954-... (2)
- Gacôgne, Louis (2)
- Shapiro, Ehud Y (1955-...) (2)
- van Leeuwen, J (2)
-
Plus d’options
Date de publication
- Avant 1984 (15)
- 1984 à 1988 (64)
- 1989 à 1993 (40)
- 1994 à 2001 (12)
- Après 2001 (4)
-
Plus d’options
Langue
- Anglais (63)
- Français (56)
- Indéterminée (1)
-
Plus d’options
Établissement
- École normale supérieure (17)
- ESPCI Paris (1)
- MINES ParisTech (84)
- Observatoire de Paris (5)
- Université Paris Dauphine (43)
-
Plus d’options
© 2015 PARIS SCIENCES ET LETTRES
