Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Leivant, Daniel Maurice Raphaël
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, [1995]
Series:	Lecture notes in computer science ; 960.
Subjects:	Logic, Symbolic and mathematical > Congresses. Computational complexity > Congresses. modèle fini. théorie modèle. preuve. théorie démonstration. complexité calcul. logique. Complexité de calcul (Informatique) > Congrès. Logique symbolique et mathématique > Congrès. Computational complexity. Logic, Symbolic and mathematical. Logica. Complexiteit. Logique symbolique et mathématique. Complexité de calcul (informatique) Berechnungstheorie. Komplexitätstheorie. Beweistheorie. Logik. Indianapolis <Ind., 1994>. Electronic books. Conference proceedings. Indianapolis (Ind., 1994) Electronic resources (Books)
Online Access:	Connect to the full text of this electronic book

Remote Storage