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
Vérification des programmes normaux
Material Type:
Thèse
Ajouter à Mon espace

Vérification des programmes normaux

Renault, Sophie

S.l., 1996

Voir les exemplaires  et autres localisations

2
Material Type:
Livre
Ajouter à Mon espace

Implémentation d'un langage de programmation logique d'ordre supérieur avec MALI = Implementation of a language based on higher-order logic with MALI

Brisset, Pascal

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

Voir les exemplaires

3
Intégration de fonctionnalités logiques dans un langage fonctionnel fortement typé : MLOG une extension de ML
Material Type:
Thèse
Ajouter à Mon espace

Intégration de fonctionnalités logiques dans un langage fonctionnel fortement typé : MLOG une extension de ML

Poirriez, Vincent

S.l., 1991

Voir les exemplaires

4
Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 proceedings
Material Type:
Livre
Ajouter à Mon espace

Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 proceedings

Bjørner, Dines (1937-....) ; Broy, M. (1949-) ; Pottosin, I. V.

Berlin New York : Springer-Verlag, 1993

Voir les exemplaires

5
Partial evaluation and semantics-based program manipulation
Material Type:
Livre
Ajouter à Mon espace

Partial evaluation and semantics-based program manipulation

New York : ACM SIGPLAN, 1995

Voir les exemplaires

6
Langages concurrents avec contraintes : communication par messages et distribution
Material Type:
Thèse
Ajouter à Mon espace

Langages concurrents avec contraintes : communication par messages et distribution

Réty, Jean-Hugues ; Codognet, Philippe ; Université d'Orléans Orléans, Loiret

Le Chesnay : INRIA, 1997

Voir les exemplaires

7
Languages and compilers for parallel computing
Material Type:
Livre
Ajouter à Mon espace

Languages and compilers for parallel computing

Berlin, Heidelberg : Springer, 1994

Voir les exemplaires

8
Proceedings of the ACM SIGPLAN '92 Conference on Programming Language Design and Implementation : San Francisco, California, June 17-19, 1992
Material Type:
Livre
Ajouter à Mon espace

Proceedings of the ACM SIGPLAN '92 Conference on Programming Language Design and Implementation : San Francisco, California, June 17-19, 1992

SIGPLAN Conference on Programming Language Design and Implementation SIGPLAN Conference on Programming Language Design and Implementation San Francisco, California 1992 ; Association for Computing Machinery Special Interest Group on Programming Languages Etats Unis

New York : Association for Computing Machinery, 1992

Voir les exemplaires  et autres localisations

9
Concepts in programming languages
Material Type:
Livre
Ajouter à Mon espace

Concepts in programming languages

Mitchell, John C.

Cambridge New York N. Y. : Cambridge University Press, 2002

Voir les exemplaires

10
PARLE '93, parallel architectures and languages Europe : 5th International PARLE Conference, Munich, Germany, June 14-17, 1993, proceedings
Material Type:
Livre
Ajouter à Mon espace

PARLE '93, parallel architectures and languages Europe : 5th International PARLE Conference, Munich, Germany, June 14-17, 1993, proceedings

International PARLE Conference International PARLE Conference 5th Munich, Germany 1993 ; Bode, Arndt (19..-....) ; Reeve, Mike (19..-....) ; Wolf, Gottfried

Berlin New York : Springer-Verlag, 1993

Voir les exemplaires

11
Material Type:
Versions multiples

Programmation logique par contraintes

Fages, François

Plusieurs versions trouvées
Il y a 2 versions

12
Material Type:
Versions multiples

Programming language pragmatics

Scott, Michael Lee (1959-....)

Plusieurs versions trouvées
Il y a 2 versions

13
Material Type:
Livre
Ajouter à Mon espace

Logic programming conference : proceedings of the first conference held at Luminy, Marseille, France, September, 14-17, 1982

Van Caneghem, Michel

Marseille : Faculté des sciences de Luminy, 1982

Disponible(Obtenir)

14
L'art de Prolog
Material Type:
Livre
Ajouter à Mon espace

L'art de Prolog

Sterling, Leon ; Shapiro, Ekud ; Warren, D.H.D ; Eytan, Michel

Paris Milan Barcelone etc. : Masson, 1990

Disponible(Obtenir)

15
Programmation en logique
Material Type:
Livre
Ajouter à Mon espace

Programmation en logique

Hogger, Christopher John ; Quiniou, René ; Kowalski, Robert A

Paris : Masson, cop. 1987

Disponible(Obtenir)

16
L'intelligence artificielle pour les développeurs : concepts et implémentations en C#
Material Type:
Livre
Ajouter à Mon espace

L'intelligence artificielle pour les développeurs : concepts et implémentations en C#

Mathivet, Virginie

St-Herblain : Éditions ENI, copyright 2017

Disponible(Obtenir)

17
Material Type:
Versions multiples

Outils logiques pour l'intelligence artificielle

Delahaye, Jean-Paul (1952-....) ; Nivat, Maurice (1937-....)

Plusieurs versions trouvées
Il y a 2 versions

18
Material Type:
Versions multiples

Computing with logic : logic programming with Prolog

Maier, David (1953-) ; Warren, David S.

Plusieurs versions trouvées
Il y a 2 versions

19
Calcul formel et manipulations symboliques
Material Type:
Livre
Ajouter à Mon espace

Calcul formel et manipulations symboliques

Caprasse, Hubert

Paris : Hermès, 1997

Disponible(Obtenir)

20
Intelligence artificielle : cours, exercices corrigés et projets
Material Type:
Livre
Ajouter à Mon espace

Intelligence artificielle : cours, exercices corrigés et projets

Gacôgne, Louis

Paris : Ellipses, 2015

Disponible  et autres localisations(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.   

Affiner les résultats

Type de ressource 

  1. Actes de conférence  (2)
  2. Articles  (1)
  3. Autres  (1)
  4. Livres  (90)
  5. Thèses  (13)
  6. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1984  (10)
  2. 1984 à 1988  (19)
  3. 1989 à 1993  (57)
  4. 1994 à 2000  (17)
  5. Après 2000  (8)
  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é