Title: Proceedings 14th Symposium on Logic in Computer Science, July 2-5, 1999, Trento, Italy
First published: 1999
Subjects: Computer Programming, Mathematical theory of computation, Computer Logic, Computers, Computers - General Information, Computer Books: General, General, Logic Design, Computer Science