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

Bibliografiske detaljer
Andre forfattere: Leivant, Daniel Maurice Raphael
Format: Bog
Sprog:English
Udgivet: Berlin Springer c1995.
Serier:Lecture notes in computer science 960
Fag:
Logic, Symbolic and mathematical > Congresses.
Computational complexity > Congresses.