Beskrivelse: Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers / Daniel Leivant (ed.).

Summary goes here

Saved in:

Bibliografiske detaljer
Format:	Bog
Sprog:	engelsk
Fag:	Logic, Symbolic and mathematical Computational complexity Complexité de calcul (Informatique) Logique symbolique et mathématique Berechnungskomplexität Berechnungstheorie Beweistheorie Datenverarbeitung Komplexität Komplexitätstheorie Logik Mathematische Logik Logica. Complexiteit. Logique symbolique et mathématique. Complexité de calcul (informatique) Indianapolis <Ind., 1994> Conference papers and proceedings Indianapolis (Ind., 1994)
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Beskrivelse
Summary:	Summary goes here
Emne beskrivelse:	General Notes
Fysisk beskrivelse:	1 online resource (viii, 514 pages) :illustrations
ISBN:	9783540447207 3540447202 3540601783 9783540601784