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

Saved in:
Bibliographic Details
Group Author: Leivant Daniel Maurice Raphael
Published: Springer,
Publisher Address: Berlin
Publication Dates: c1995.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 960
Subjects:
Carrier Form: viii, 514 p.: ill. ; 24 cm.
ISBN: 3540601783 (Berlin : acid-free paper)
Index Number: TP301
CLC: TP301.5-532
TP301.6-532
Call Number: TP301.5-532/L832/1994/
Contents: Includes bibliographical references.