Logical foundations of computer science:4th international symposium, LFCS '97, Yaroslavl, Russia, July 6-12, 1997 : proceedings

Saved in:
Bibliographic Details
Corporate Authors: LFCS '97 1997 Yaroslavlʹ, Russia (City)) (Yaroslavlʹ, Russia (City)))
Group Author: Nerode Anil, 1932-; Adi︠a︡n S. I.
Published: Springer,
Publisher Address: Berlin
Publication Dates: c1997.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 1234
Subjects:
Carrier Form: ix, 429 p.: ill. ; 24 cm.
ISBN: 3540630457 (softcover : alk. paper)
Index Number: TP301
CLC: TP301.6-532
TP302.2-532
Call Number: TP301.6-532/L832.2/1997/
Contents: Includes bibliographical references and index.