Logic in computer science proceedings - IEEE Symposium on Logic Computer Science( 8th : 1993 : Montreal ); IEEE Symposium on Logic in Computer Science (Washington IEEE Computer Society Press, 1993)
Keywords: Computational mathematics; Computer Science; Logic