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 :
N'afficher que
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computer Science Logic : 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers
Material Type:
ebook
Ajouter au Panier

Computer Science Logic : 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers

Kleine Büning, Hans (1948-...) (Ed.)

Lecture Notes in Computer Science ; 1092

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

2
Propositional logic : deduction and algorithms
Material Type:
Livre
Ajouter au Panier

Propositional logic : deduction and algorithms

Kleine Büning, Hans (1948-...) ; Lettmann, Theodor (1958-...)

Appartient à la collection : Cambridge tracts in theoretical computer science, 48, ISSN 0956-9103

Cambridge [England]. New York. Cambridge University Press, cop. 1999

Indisponible     (->>)

3
Computer Science Logic : 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers
Material Type:
ebook
Ajouter au Panier

Computer Science Logic : 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers

Kleine Büning, Hans (1948-...) (Ed.) ; Jäger, G (Ed.) ; Börger, Egon (1946-...) (Ed.) ; Richter, Michael M (1938-...) (Ed.) ; Martini, S (Ed.)

Lecture Notes in Computer Science ; 702

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

4
Computer Science Logic : 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings
Material Type:
ebook
Ajouter au Panier

Computer Science Logic : 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings

Börger, Egon (1946-...) (Ed.) ; Jäger, Gerhard (Ed.) ; Richter, Michael M (1938-...) (Ed.) ; Kleine Büning, Hans (1948-...) (Ed.)

Lecture Notes in Computer Science ; 626

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

5
CSL '89 : 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings
Material Type:
ebook
Ajouter au Panier

CSL '89 : 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings

Kleine Büning, Hans (1948-...) (Ed.) ; Börger, Egon (1946-...) (Ed.) ; Richter, Michael M (1938-...) (Ed.)

Lecture Notes in Computer Science ; 440

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

6
CSL '87 : 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings
Material Type:
ebook
Ajouter au Panier

CSL '87 : 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings

Kleine Büning, Hans (1948-...) (Ed.) ; Börger, Egon (1946-...) (Ed.) ; Richter, Michael M (1938-...) (Ed.)

Lecture Notes in Computer Science ; 329

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

7
CSL '88 : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings
Material Type:
ebook
Ajouter au Panier

CSL '88 : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings

Kleine Büning, Hans (1948-...) (Ed.) ; Richter, Michael M (1938-...) (Ed.) ; Börger, Egon (1946-...) (Ed.)

Lecture Notes in Computer Science ; 385

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

8
Computer Science Logic : 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings
Material Type:
ebook
Ajouter au Panier

Computer Science Logic : 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings

Börger, Egon (1946-...) (Ed.) ; Kleine Büning, Hans (1948-...) (Ed.) ; Richter, Michael M (1938-...) (Ed.) ; Schönfeld, Wolfgang (Ed.)

Lecture Notes in Computer Science ; 533

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

Refine Search Results

N'afficher que

  1. Ressources en ligne (7)

Affiner vos résultats

Type de ressource 

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

Date de parution 

Affiner à partir de Affiner jusqu'à

Elargir la recherche à tous les documents

Elargir la recherche à tous les documents

de cet auteur:

  1. Kleine Büning, Hans
  2. Börger, Egon
  3. Richter, Michael M
  4. Jäger, G
  5. Schönfeld, Wolfgang

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.