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

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

Bibliografiska uppgifter
Övriga upphovsmän: Leivant, Daniel Maurice Raphael
Materialtyp: Bok
Språk:English
Publicerad: Berlin Springer c1995.
Serie:Lecture notes in computer science 960
Ämnen:
Logic, Symbolic and mathematical > Congresses.
Computational complexity > Congresses.