Logic foundations of computer science /

Bibliographic Details
Corporate Author: LFCS (Symposium) Yaroslavl, Russia)
Other Authors: Adian, Segei Ivanovich, 1931- (ed.), Nerode, Anil, 1932- (ed.)
Format: Conference Proceeding Book
Published: Berlin : Springer, 1997.
Series:Lecture notes in computer science ; v. 1234
LNCS ; v. 1234
Subjects:
Description
Physical Description:ix, 429 p. : il. ; 24 cm.
ISBN:3540630457