An edition of Logic and computational complexity (1995)
Logic and computational complexity
international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers
By Daniel Leivant,Gerhard Goos,Juris Hartmanis
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
1995
Publisher
Springer
Language
eng
Pages
514
Description:
subjects: Symbolic and mathematical Logic, Computational complexity, Congresses, Beweistheorie, Komplexitätstheorie, Logique symbolique et mathématique, Congrès, Logica, Complexiteit, Komplexität, Logik, Berechnungstheorie, Datenverarbeitung, Mathematische Logik, Complexité de calcul (Informatique), Berechnungskomplexität, Logic, symbolic and mathematical