Combinatories, complexity, and logic :proceedings of DMTCS'96 D.S. Bridges... [et al].

Библиографические подробности
Главный автор:	DMTC '06 (1996) : Auckland, N.Z.)
Другие авторы:	Bridges, Douglas S., 1945
Формат:	‌
Опубликовано:	Berlin ; Springer c1997
Предметы:	Computational complexity > congresses. Logic, Symbolis and mathematica > Congresses.