Logic in computer science proceedings - IEEE Annual Symposium on Logic in Computer Science (12th : 29 Jun - 2 Jul 1997 : Warsaw,Poland); IEEE annual symposium on logic in computer science Warsaw, Poland 29 Jun - 2 Jul 1997 (Los Alamitos IEEE Computer Society Press, 1997)
Keywords: Computational mathematics; Computer science; Logic