3228 search results - page 49 / 646 » Computationally Sound Proofs |
STACS
1991
Springer
15 years 6 months ago
1991
Springer
ICS
2010
Tsinghua U.
16 years 13 days ago
2010
Tsinghua U.
TLCA
1997
Springer
15 years 7 months ago
1997
Springer
S TECHNICAL REPORT ABSTRACTS
CIE
2005
Springer
15 years 8 months ago
2005
Springer
112
click to vote
ADG
2004
Springer
15 years 8 months ago
2004
Springer
Construction of geometrical objects by origami, the Japanese traditional art of paper folding, is enjoyable and intriguing. It attracted the minds of artists, mathematicians and co...