Logic and Computational Complexity Daniel Leivant
53,49 €
Titel: Logic and Computational Complexity, Untertitel: International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers, Einband: Taschenbuch, Autor: Daniel Leivant, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 528, Maße: 235x155x29 mm, Gewicht: 791 g, Verkäufer: buch-mimpf, Schlagworte: Algorithmus Mathematik Algorithm analysis and problem complexity Applicative Complexity Applikative Komplexität Beweistheoretische Komplexität Beweistheorie Model Theory Modelltheorie Proof-Theoretic Complexity algorithmische Komplexität complexity computational complexity logic proof theory.
Jetzt bei Ebay:
