Eight annual IEEE symposium on logic in computer science proceedings, June 19-23, 1993, Montreal, Canada - IEEE Symposium on Logic in Computer Science (8th : 1993 : Montreal, Canada). (Los Alamitos IEEE Computer Society Press, 1993)
Keywords: Logic, symbolic and mathematical--Congresses.