File hashes

MD5: fa4567ec96ba993b1bc70e021a7f3582
SHA1: GJNZRL7NAFUG3CJFCWONFIM3DE6BWGTI
SHA256: 93ea21135cbd4518bfecb10905280902 7a69e622ef5ef24f3f59c5092cc52fe5
AICH: LEVWKFOC53R5GRK4XL4CZKCM6D4STIK2
CRC32: 8de082d5
eDonkey: 7d9aa6726810fce9a4ebd8a7b40e1af9
TTH: KDCFL2OS3UYT2H5TM4MIMD2FXX5KMVZ3AY3OOHQ

Available files

DJVU

Download Link

Direct link IPFS Cloudflare Pinata

ENGLISH

Proceedings 1992 Int. Workshop on Mathematics Mechanization

By Wu Wen-Tsun , Cheng Min-De. (eds.)

Book information

Year: 1992
ISBN: 7800031969
Language: english
Format: DJVU
Filesize: 7 MB (7245917 bytes)
Pages: 291\291
Topic: Mathematics
Library: Kolxo3
DPI: 600
Time added: 2009-07-20 03:45:11

Similar books

Proceedings 1992 Int. Workshop on Mathematics Mechanization

1992 · DJVU

Proceedings 1992 Int. Workshop on Mathematics Mechanization

1992 · PDF

Mathematics Mechanization

2000 · DJVU

Mathematics mechanization: mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving

2000 · DJVU

Mathematics mechanization: mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving

2000 · DJVU

Rational Homotopy Type: A Constructive Study Via the Theory of the I*-Measure

1987 · DJVU

Mathematics Mechanization: Mechanical Geometry Theorem proving

2001 · DJVU

Cosmical Electrodynamics, 2nd Ed. (International Series of Monographs on Physics)

1963 · DJVU