Logic in computer science proceedings - IEEE Symposium on Logic Computer Science(11th : 1996 : New Brunswick,New Jersey); IEEE Symposium on Logic in Computer Science New Brunswick, New Jersey 1996 (California IEEE Computer Society Press, 1996)
Keywords: Computational mathematics; Computer Science; Logic