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

Bibliographic Details
Corporate Authors:	LFCS (Symposium) I︠A︡roslavlʹ, I︠A︡roslavskai︠a︡ oblastʹ, Russia), SpringerLink (Online service)
Other Authors:	Adi︠a︡n, S. I., Nerode, Anil, 1932-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [1997]
Series:	Lecture notes in computer science ; 1234.
Subjects:	Computers > Congresses. Electronic data processing > Congresses. Logic, Symbolic and mathematical > Congresses. logique mathématique. Logique informatique > Congrès. Logique symbolique et mathématique > Congrès. Ordinateurs > Congrès. Computers. Electronic data processing. Logic, Symbolic and mathematical. Fundamentele informatica. Logica. Logica e semantica de programacao. Informatique > Congrès. Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Remote Storage