Logic in computer science proceedings - IEEE Symposium on Logic Computer Science( 6th : 1991 : Amsterdam ); IEEE Symposium on Logic in Computer Science (Washington IEEE Computer Society Press, 1991)
Keywords: Computational mathematics; Computer Science; Logic