Résultats 1 - 20 sur 124 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
|
|
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 |
| 5 |
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 |
| 6 |
Material Type: Livre
|
|
THE WAM : A (REAL) TUTORIALAït-Kaci, Hassan (1954-....)Paris : Digital equipment corporation, 1990Voir 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: Thèse
|
|
Spécifications formelles et exécutables en programmation en logique : application à la standardisation de prologS.L. : s.n., 1993Voir les exemplaires |
| 13 |
Material Type: Livre
|
|
TEST SETS GENETATION FROM ALGEBRAIC SPECIFICATIONS USING LOGIC PROGRAMMING.S.L. : s.n., 1985Voir 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
|
|
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) |
| 17 |
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) |
| 18 |
Material Type: Livre
|
|
L'anatomie de PrologVan Caneghem, MichelParis : Inter Éditions, 1986Voir les exemplaires(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 124 pour PSL-Explore
Personnaliser vos résultats
Refine Search Results
Élargir la recherche
N'afficher que
- Disponible (37)
Affiner les résultats
Type de ressource
- Actes de conférence (1)
- Livres (113)
- Thèses (10)
-
Plus d’options
Sujet
- Langage PROLOG (77)
- Prolog (langage de programmation) (45)
- Intelligence artificielle (26)
- PROGRAMMATION LOGIQUE (24)
- Langage de programmation (17)
- LOGIQUE (13)
- COMPILATION (13)
- LANGAGE FONCTIONNEL (12)
- Parallélisme (12)
- Transformation de programme (11)
- LANGAGE LISP (10)
- Architecture des ordinateurs (10)
- SPECIFICATION (9)
- Algorithmes parallèles (8)
- COLLECTE DES RESIDUS (8)
- Langage SMALLTALK (8)
- LAMBDA CALCUL (8)
- SEMANTIQUE (7)
- THEORIE DE LA COMPLEXITE (7)
- RESEAU NEURONAL (6)
-
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)
- Aarts, Emile H. L (1955-...) (3)
- Van Caneghem, Michel (3)
- Farreny, Henri (2)
- Sterling, Leon (2)
- Colmerauer, Alain (1941-...) (2)
- Van Leeuwen, J (2)
- Bratko, Ivan (1946-...) (1)
- Giannesini, Françis (1)
- Hurtado, Rosalie (1)
- Sumii, Eijiro (1)
- ACM SIGPLAN & IFIP Symposium on Partial Evaluation and Semantics-Based Program Manipulation 1st, Yale University, 1991 (1)
- Donz, Philippe (1)
- Hankin, Chris (1)
- Monceyron, Rric (1)
- Codish, Michael (1)
- McCabe, Francis G (1953-...) (1)
- Deransart, Pierre (1)
-
Plus d’options
Date de publication
- Avant 1983 (7)
- 1983 à 1986 (36)
- 1987 à 1990 (53)
- 1991 à 1995 (21)
- Après 1995 (12)
-
Plus d’options
Langue
- Anglais (62)
- Français (53)
- Indéterminée (1)
-
Plus d’options
Établissement
- École normale supérieure (17)
- ESPCI Paris (1)
- MINES ParisTech (83)
- Observatoire de Paris (5)
- Université Paris Dauphine (37)
-
Plus d’options
© 2015 PARIS SCIENCES ET LETTRES
