skip to main content
Langue :
Afficher les résultats avec :

Résultats 1 - 10 sur 11  pour Tout le catalogue

résultats 1 2 next page
N'afficher que
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Conference in mathematical logic, London '70
Material Type:
ebook
Ajouter au Panier

Conference in mathematical logic, London '70

Hodges, Wilfrid (1941-...) (Ed.)

Appartient à la collection : Lecture notes in mathematics (Internet), 255, ISSN 1617-9692

Berlin [etc.]. Springer, 201. ?

2
Cambridge summer school in mathematical logic : held in Cambridge/England, August 1-21, 1971
Material Type:
ebook
Ajouter au Panier

Cambridge summer school in mathematical logic : held in Cambridge/England, August 1-21, 1971

Rogers, Hartley (1926-2015) (Ed.) ; Mathias, Adrian Richard David (1944-...) (Ed.)

Appartient à la collection : Lecture notes in mathematics (Internet), 337, ISSN 1617-9692

Berlin [etc.]. Springer, 201. ?

3
Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Material Type:
Livre
Ajouter au Panier

Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997

Cooper, S. Barry (1943-2015) ; Truss, J. K (1947-...) ; Association for symbolic logic (Ed.)

Appartient à la collection : London Mathematical Society lecture note series, 259

Cambridge, U.K.. New York. Cambridge University Press, 1999

Disponible(->>)

4
12th Annual IEEE Symposium on Logic in Computer Science : proceedings, June 29 - July 2, 1997, Warsaw Poland
Material Type:
Livre
Ajouter au Panier

12th Annual IEEE Symposium on Logic in Computer Science : proceedings, June 29 - July 2, 1997, Warsaw Poland

Uniwersytet Warszawski (Ed.) ; IEEE computer society. Technical committee on mathematical foundations of computing (Ed.) ; Special group on algorithms and computation theory (Etats-Unis) (Ed.) ; Association for symbolic logic (Ed.) ; Association européenne d'informatique théorique (Ed.)

Los Alamitos (Calif.). IEEE Computer Society, c1997

Disponible(->>)

5
14th symposium on logic in computer science : proceedings July 2-5, 1999, Trento, Italy
Material Type:
Livre
Ajouter au Panier

14th symposium on logic in computer science : proceedings July 2-5, 1999, Trento, Italy

IEEE computer society. Technical committee on mathematical foundations of computing (Ed.)

Los Alamitos (Calif.). IEEE Computer Society, cop. 1999

Disponible(->>)

6
Tenth Annual IEEE symposium on logic in computer science : proceedings, June 26-29, 1995, San Diego, California
Material Type:
Livre
Ajouter au Panier

Tenth Annual IEEE symposium on logic in computer science : proceedings, June 26-29, 1995, San Diego, California

Kozen, Dexter C (1951-...) (Ed.) ; IEEE computer society. Technical committee on mathematical foundations of computing (Ed.)

Los Alamitos, Calif.. Washington. Brussels [etc.]. IEEE Computer Society Press, cop. 1995

Disponible(->>)

7
Thirteenth Annual IEEE symposium on logic in computer science : June 21-24, 1998, Indianapolis, Indiana proceedings
Material Type:
Livre
Ajouter au Panier

Thirteenth Annual IEEE symposium on logic in computer science : June 21-24, 1998, Indianapolis, Indiana proceedings

Indiana university (Ed.)

Los Alamitos, Calif.. Washington. Brussels [etc.]. IEEE Computer Society, cop. 1998

Disponible(->>)

8
[Ninth annual IEEE] Symposium on Logic in Computer Science : LICS '94, CNAM, Paris, France, July 4-7, 1994 proceedings
Material Type:
Livre
Ajouter au Panier

[Ninth annual IEEE] Symposium on Logic in Computer Science : LICS '94, CNAM, Paris, France, July 4-7, 1994 proceedings

IEEE computer society. Technical committee on mathematical foundations of computing (Ed.) ; Institut national de recherche en informatique et en automatique (France) (Ed.)

Los Alamitos (Calif.). IEEE Computer Society Press, cop. 1994

Disponible(->>)

9
Proof and computation
Material Type:
Livre
Ajouter au Panier

Proof and computation

Schwichtenberg, Helmut (Ed.) ; Organisation du traité de l'Atlantique nord. Division des affaires scientifiques (Ed.)

Appartient à la collection : NATO ASI series. Series F : Computer and system sciences, 139, ISSN 0258-1248

Berlin. New York. Springer, c1995

Disponible(->>)

10
Advances in linear logic
Material Type:
Livre
Ajouter au Panier

Advances in linear logic

Girard, Jean-Yves (1947-...) (Ed.) ; Lafont, Yves (1961-...) (Ed.) ; Régnier, Laurent (Ed.)

Appartient à la collection : London Mathematical Society lecture note series, 222, ISSN 0076-0552

Cambridge. New York (N.Y.). Cambridge University Press, 1995

Disponible(->>)

Résultats 1 - 10 sur 11  pour Tout le catalogue

résultats 1 2 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (2)

Affiner vos résultats

Type de ressource 

  1. Livres  (9)
  2. ebooks  (2)
  3. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1995  (1)
  2. 1995 à 1996  (3)
  3. 1997 à 1997  (1)
  4. 1998 à 1999  (4)
  5. Après 1999  (2)
  6. Autres open sub menu

Discipline 

  1. Informatique  (8)
  2. Mathématiques  (1)
  3. Autres open sub menu

Vous n'avez pas trouvé ce que vous cherchiez ?

Vous pouvez relancer votre recherche :
  • dans le SUDOC (catalogue français des bibliothèques de l'enseignement supérieur et de la recherche)
  • dans WorldCat (catalogue international)
  • dans Google Scholar
  • dans Isidore (moteur de recherche du CNRS)
  • dans BASE (Bielefeld Academic Search Engine)

Vous pouvez aussi :

Recherche dans les bases de données distantes en cours. Merci de patienter.