Logic in computer science proceedings - IEEE Symposium on Logic Computer Science( 10th : 1995 : San Diego ); IEEE Symposium on Logic in Computer Science (Washington IEEE Computer Society Press, 1995)
Keywords: Computational mathematics; Computer Science; Logic