3228 search results - page 49 / 646 » Computationally Sound Proofs |
STACS
1991
Springer
14 years 9 days ago
1991
Springer
ICS
2010
Tsinghua U.
14 years 6 months ago
2010
Tsinghua U.
TLCA
1997
Springer
14 years 28 days ago
1997
Springer
S TECHNICAL REPORT ABSTRACTS
CIE
2005
Springer
14 years 2 months ago
2005
Springer
ADG
2004
Springer
14 years 2 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...