skip to main content
Langue :
COVID-19 : bibliothèque fermée. En savoir plus COVID-19 : bibliothèque fermée. En savoir plus Afficher les résultats avec :
Filtré par : sujet: Intelligence artificielle supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computer Science Logic : 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers
Material Type:
ebook
Ajouter au Panier

Computer Science Logic : 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers

Meinke, Karl (Ed.) ; Börger, Egon (1946-...) (Ed.) ; Gurevich, Yuri (Ed.)

Lecture Notes in Computer Science ; 832

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

2
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

3
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

4
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

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 '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

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.