Sciweavers

12052 search results - page 21 / 2411
» computing 2010
Sort
View
ENTCS
2002
58views more  ENTCS 2002»
13 years 7 months ago
Computability of Partial Delaunay Triangulation and Voronoi Diagram
Ali Asghar Khanban, Abbas Edalat, André Lie...
ENTCS
1998
63views more  ENTCS 1998»
13 years 7 months ago
Proof theory and computational analysis
Ulrich Kohlenbach