Logic and computational complexity : selected papers /

Bibliographic Details
Corporate Author: International Workshop LCC '94 Indianapolis, IN, USA
Other Authors: Leivant, Daniel (ed.)
Format: Conference Proceeding Book
Published: Berlin : Springer, 1995.
Series:Lecture notes in computer science ; v. 960
LNCS ; v. 960
Subjects:
Description
Physical Description:viii, 514 p. : il. ; 24 cm.
ISBN:3540601783