skip to main content
Langue :
Afficher les résultats avec :
Filtré par : auteur: Gottlob, Georg supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Database Theory — ICDT '95 : 5th International Conference Prague, Czech Republic, January 11–13, 1995 Proceedings
Material Type:
ebook
Ajouter au Panier

Database Theory — ICDT '95 : 5th International Conference Prague, Czech Republic, January 11–13, 1995 Proceedings

Gottlob, Georg (Ed.) ; Vardi, Moshe Y (Ed.)

Lecture Notes in Computer Science ; 893

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

2
Advances in Database Technology — EDBT '92 : 3rd International Conference on Extending Database Technology Vienna, Austria, March 23–27, 1992 Proceedings
Material Type:
ebook
Ajouter au Panier

Advances in Database Technology — EDBT '92 : 3rd International Conference on Extending Database Technology Vienna, Austria, March 23–27, 1992 Proceedings

Pirotte, Alain (Ed.) ; Delobel, Claude (Ed.) ; Gottlob, Georg (Ed.)

Lecture Notes in Computer Science ; 580

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

3
Computer Science Logic : 12th International Workshop, CSL’98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings
Material Type:
ebook
Ajouter au Panier

Computer Science Logic : 12th International Workshop, CSL’98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings

Grandjean, Etienne (Ed.) ; Grandjean, Etienne (mathématicien) (19..-...) (Ed.) ; Gottlob, Georg (Ed.) ; Seyr, Katrin (Ed.)

Lecture Notes in Computer Science ; 1584

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

4
Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings
Material Type:
ebook
Ajouter au Panier

Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings

Gottlob, Georg (Ed.) ; Leitsch, Alexander (1952-...) (Ed.) ; Mundici, Daniele (1946-...) (Ed.)

Lecture Notes in Computer Science ; 713

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

5
Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings
Material Type:
ebook
Ajouter au Panier

Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings

Mundici, Daniele (1946-...) (Ed.) ; Gottlob, Georg (Ed.) ; Leitsch, Alexander (1952-...) (Ed.)

Lecture Notes in Computer Science ; 1289

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.