Logic in computer science proceedings - IEEE Annual Symposium on Logic in Computer Science (17th : 22-25 Jul 2002 : Kopenhagen,Denmark); IEEE annual symposium on logic in computer science Copenhagen, Denmark 22-25 Jul 2002 (Los Alamitos IEEE, 2002)
Keywords: Computational mathematics; Mathematical logic