skip to main content
Langue :
COVID-19 : bibliothèque fermée. 

Nouveau service Retrait de documents sur rendez-vous
COVID-19 : bibliothèque fermée. 

Nouveau service Retrait de documents sur rendez-vous
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
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

Indisponible     (->>)

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

Indisponible     (->>)

5
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

Indisponible     (->>)

6
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

Indisponible     (->>)

7
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

Indisponible     (->>)

8
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

Indisponible     (->>)

9
[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

Indisponible     (->>)

10
Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá
Material Type:
Livre
Ajouter au Panier

Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá

Caicedo, Xavier (1944-) ; Montenegro, Carlos H (1958-)

Appartient à la collection : Lecture notes in pure and applied mathematics, v. 203, ISSN 0075-8469

New York. Marcel Dekker, cop. 1999

Indisponible     (->>)

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.