Sciweavers

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