Logic in computer science proceedings - IEEE Annual Symposium on Logic in Computer Science (13th : 21-24 Jun 1998 : Indianapolis,Indiana); IEEE annual symposium on logic in computer science Indianapolis, Indiana 21-24 Jun 1998 (Los Alamitos IEEE Computer Society Press, 1998)
Keywords: Computational mathematics; Computer science; Logic