Cover Image

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
Description
Item Description:Electronic resource.
Physical Description:1 online resource (ix, 429 pages) : illustrations
Bibliography:Includes bibliographical references and index.
ISBN:3540630457 (softcover : alk. paper)
9783540630456 (softcover : alk. paper)
ISSN:0302-9743 ;