Uwe Schöning
Uwe Schöning (born 28 December 1955) is a retired German computer scientist, known for his research in computational complexity theory. Provided by Wikipedia
Showing 1 - 8 results of 8 for search 'Schöning, Uwe, 1955-', query time: 0.15s
Refine Results
-
1
-
2
-
3
-
4by Schöning, Uwe, 1955-
Published 2008Call Number: Loading...Connect to the full text of this electronic book
Located:Loading...
eBook -
5by Schöning, Uwe, 1955-
Published 1998Call Number: Loading...Connect to the full text of this electronic book
Located:Loading...
eBook -
6by Schöning, Uwe, 1955-
Published 1986Call Number: Loading...Connect to the full text of this electronic book
Located:Loading...
eBook -
7by Köbler, Johannes, 1958-Other Authors: “...Schöning, Uwe, 1955-...”
Published 1993
Call Number: Loading...
Located:Loading...Book Loading... -
8Published 1993Other Authors: “...Schöning, Uwe, 1955-...”
Call Number: Loading...
Located:Loading...Book Loading...
Search Tools:
RSS Feed
–
Email Search
Related Subjects
Computational complexity
Automatic theorem proving
Logic programming
Logic, Symbolic and mathematical
Automatische bewijsvoering
Complexité de calcul (Informatique)
Data processing
Démonstration automatique
Graph theory
Informatique
Isomorphisms (Mathematics)
Logische Programmierung
Mathematische Logik
Théorèmes
calculabilité
complexité calcul
informatique théorique
logique