Sciweavers

8949 search results - page 313 / 1790
» is 1998
Sort
View
JANCL
1998
26views more  JANCL 1998»
15 years 6 months ago
Calendar Logic
Hans Jürgen Ohlbach, Dov M. Gabbay
129
Voted
JAR
1998
61views more  JAR 1998»
15 years 6 months ago
A New Approach for Automatic Theorem Proving in Real Geometry
Andreas Dolzmann, Thomas Sturm, Volker Weispfennin...