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

Detaylı Bibliyografya
Diğer Yazarlar: Leivant, Daniel Maurice Raphael
Materyal Türü: Kitap
Dil:English
Baskı/Yayın Bilgisi: Berlin Springer c1995.
Seri Bilgileri:Lecture notes in computer science 960
Konular:
Logic, Symbolic and mathematical > Congresses.
Computational complexity > Congresses.