Treffer 1 – 4 von 4 für Suche 'Chou, Shang-Ching', Suchdauer: 0,02s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Mechanical geometry theorem proving

    Mechanical geometry theorem proving von Chou, Shang-Ching

    Veröffentlicht 1988
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Machine proofs in geometry : automated production of readable proofs for geometry theorems

    Machine proofs in geometry : automated production of readable proofs for geometry theorems von Chou, Shang-Ching 1946-

    Veröffentlicht 1995
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Machine proofs in geometry automated production of readable proofs for geometry theorems

    Machine proofs in geometry automated production of readable proofs for geometry theorems von Chou, Shang-Ching, Gao, Xiao-Shan 1963-, Zhang, Jingzhong

    Veröffentlicht 1994
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Mechanical geometry theorem proving

    Mechanical geometry theorem proving von Chou, Shang-Ching

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: