Mechanical geometry theorem proving / Shang-Ching Chou - Nederlandse Bibliografie Totaal (NBT) - Fedor - Netwerk Digitaal Erfgoed

Mechanical geometry theorem proving / Shang-Ching Chou

Mechanical geometry theorem proving / Shang-Ching Chou

http://data.bibliotheken.nl/id/nbt/p042782791

2e2bf8300c8305f63688af894485bd35

mainEntity

Mechanical geometry theorem proving / Shang-Ching Chou

http://data.bibliotheken.nl/id/nbt/p042782791

about

associatedMedia

<http://www.gbv.de/dms/hbz/toc/ht003102250.pdf>

http://www.w3.org/2001/XMLSchema#string

<http://www.zentralblatt-math.org/zmath/en/search/?an=0661.14037>

http://www.w3.org/2001/XMLSchema#string

author

inLanguage

en

http://www.w3.org/2001/XMLSchema#string

isPartOf

Mathematics and its applications

isbn

9027726507

http://www.w3.org/2001/XMLSchema#string

mainEntityOfPage

2e2bf8300c8305f63688af894485bd35

name

Mechanical geometry theorem proving

http://www.w3.org/2001/XMLSchema#string

numberOfPages

362

http://www.w3.org/2001/XMLSchema#integer

publication

584354fab4cb2f7c72e4adba4e2c4814

sameAs

type

label

Mechanical geometry theorem proving / Shang-Ching Chou

http://www.w3.org/2001/XMLSchema#string