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
Logic programming : proceedings of the Joint International Conference and Symposium on Logic Programming
Material Type:
Acte de conférence
Ajouter à Mon espace

Logic programming : proceedings of the Joint International Conference and Symposium on Logic Programming

Apt, Krzysztof R. (1949-....)

Cambridge MA London : The MIT Press, 1992

Voir les exemplaires

2
Proceedings of the tenth international conference on logic programming : ICLP '93
Material Type:
Livre
Ajouter à Mon espace

Proceedings of the tenth international conference on logic programming : ICLP '93

International Conference on Logic Programming 010 Budapest 1993. ; Warren, David S.

Cambridge MA London : The MIT Press, 1993

Voir les exemplaires

3
Types in logic programming
Material Type:
Livre
Ajouter à Mon espace

Types in logic programming

Pfenning, Frank.

Cambridge, Mass. London : MIT Press, 1992

Voir les exemplaires

4
Extensions of logic programming : ELP '91 ... proceedings
Material Type:
Livre
Ajouter à Mon espace

Extensions of logic programming : ELP '91 ... proceedings

International Workshop on Extensions of Logic Programming 002 Stockholm 1991. ; Eriksson, Lars-Henrik ; Hallnäs, Lars (1950-....) ; Schroeder-Heister, Peter

Berlin New York NY Paris : Springer, 1992

Voir les exemplaires

5
Logic programming : proceedings
Material Type:
Livre
Ajouter à Mon espace

Logic programming : proceedings

Russian Conference on Logic Programming 001, 002 Irkutsk, St. Petersburg 1990, 1991. ; Voronkov, Andrei

Berlin New York NY Paris : Springer, 1992

Voir les exemplaires

6
Extensions of logic programming : ELP '92 proceedings
Material Type:
Livre
Ajouter à Mon espace

Extensions of logic programming : ELP '92 proceedings

International Workshop on Extensions of Logic Programming 003 Bologna 1992. ; Lamma, Evelina ; Mello, Paola

Berlin New York NY Paris : Springer, 1993

Voir les exemplaires

7
Extensions of logic programming : international workshop ELP '93, St. Andrews, U.K., March 29-April 1, 1993. Proceedings
Material Type:
Livre
Ajouter à Mon espace

Extensions of logic programming : international workshop ELP '93, St. Andrews, U.K., March 29-April 1, 1993. Proceedings

Congrès 004 St Andrews 1993. ; Dyckhoff, Roy

Berlin New York NY London : Springer, 1994

Voir les exemplaires

8
Logic programming: formal methods and practical applications.
Material Type:
Livre
Ajouter à Mon espace

Logic programming: formal methods and practical applications.

Beierle, Christoph ; Plümer, Lutz

Amsterdam Lausanne New York NY : North-Holland Elsevier, 1995

Voir les exemplaires

9
CSL '89 : proceedings ..
Material Type:
Livre
Ajouter à Mon espace

CSL '89 : proceedings ..

Workshop on Computer Science Logic 003 Kaiserslautern 1989. ; Börger, Egon (1946-....) ; Kleine Büning, Hans (1948-....) ; Richter, Michael M. (1938-....)

Berlin New York NY Paris : Springer, 1990

Voir les exemplaires

10
Logic in computer science : modelling and reasoning about systems
Material Type:
Livre
Ajouter à Mon espace

Logic in computer science : modelling and reasoning about systems

Huth, Michael (1962-....) ; Ryan, Mark (1962-....)

Cambridge UK New York : Cambridge University Press, 2004

Voir les exemplaires

11
The Craft of prolog.
Material Type:
Livre
Ajouter à Mon espace

The Craft of prolog.

O'Keefe, Richard A.

Cambridge MA London : The MIT Press, 1990

Voir les exemplaires

12
Material Type:
Versions multiples

Live data structures in logic programs : derivation by means of abstract interpretation

Mulkers, Anne.

Plusieurs versions trouvées
Il y a 3 versions

13
Algebraic and logic programming : proceedings
Material Type:
Livre
Ajouter à Mon espace

Algebraic and logic programming : proceedings

International Conference on Algebraic and Logic Programming 003 Volterra 1992. ; Kirchner, Hélène ; Levi, Giorgio (1942-....)

Berlin New York NY Paris : Springer, 1992

Voir les exemplaires

14
Material Type:
Versions multiples

Conclog : a methodological approach to concurrent logic programming

Jacquet, Jean-Marie.

Plusieurs versions trouvées
Il y a 4 versions

15
Logic programming
Material Type:
Livre
Ajouter à Mon espace

Logic programming

Clark, Keith L (1943-....) ; Tärnlund, Sten-Åke

London New York Paris etc. : Academic Press, 1982

Disponible(Obtenir)

16
Material Type:
Livre
Ajouter à Mon espace

TOWARDS A MEANING OF LIFE.

Aït-Kaci, Hassan (1954-....) ; Podelski, Andreas

s.l. : s.n., 1991

Voir les exemplaires(Obtenir)

17
From logic to logic programming.
Material Type:
Livre
Ajouter à Mon espace

From logic to logic programming.

Doets, Kees.

Cambridge MA : The MIT Press, 1994

Voir les exemplaires(Obtenir)

18
Fondements de la programmation logique
Material Type:
Livre
Ajouter à Mon espace

Fondements de la programmation logique

Lloyd, John Wylie (1947-....)

Paris : Eyrolles, 1988

Disponible(Obtenir)

19
Third International conference on logic programming : Imperial college of science and technology, London, United Kigdom, July 14-18, 1986 proceedings
Material Type:
Acte de conférence
Ajouter à Mon espace

Third International conference on logic programming : Imperial college of science and technology, London, United Kigdom, July 14-18, 1986 proceedings

International conference on logic programming 03 1986 Londres. ; Shapiro, Ehud Y. (1955-....)

Berlin Heidelberg Paris etc. : Springer-Verlag, 1986

Voir les exemplaires(Obtenir)

20
Programming language implementation and logic programming : PLILP '91 proceedings
Material Type:
Livre
Ajouter à Mon espace

Programming language implementation and logic programming : PLILP '91 proceedings

International Symposium on Programming Language Implementation and Logic Programming 003 Passau 1991. ; Małuszyński, Jan (1941-) ; Wirsing, Martin

Berlin New York NY Paris : Springer, 1991

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.   

Affiner les résultats

Type de ressource 

  1. Actes de conférence  (20)
  2. Articles  (4)
  3. Autres  (2)
  4. Livres  (229)
  5. Revues  (1)
  6. Thèses  (35)
  7. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1980  (15)
  2. 1980 à 1986  (35)
  3. 1987 à 1993  (171)
  4. 1994 à 2001  (55)
  5. Après 2001  (23)
  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é