Symposium on Logic in Computer Science: Lics '94 : Proceedings 
Subtitle: Cnam, Paris, France July 4-7, 1994/94Ch3464-5 (Symposium on Logic in Computer Science//Proceedings)
Edition: 9th Annual edition
Publisher: IEEE Computer Society Press
Published: June 1994
Format: Paperback
Number of pages: 536
ISBN-13: 9780818663109
Subjects: Logic Design; Computer Logic; Computer Bks - General Information; Science/Mathematics