Treffer 1 – 9 von 9 für Suche 'Huang, Xiaorong', Suchdauer: 0,05s 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
    Human oriented proof presentation a reconstructive approach

    Human oriented proof presentation a reconstructive approach von Huang, Xiaorong

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Human oriented proof presentation a reconstructive approach

    Human oriented proof presentation a reconstructive approach von Huang, Xiaorong

    Veröffentlicht 1996
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Adaption of declaratively represented methods in proof planning

    Adaption of declaratively represented methods in proof planning von Huang, Xiaorong, Kerber, Manfred, Cheikhrouhou, Lassaad

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    An extensible natural calculus for argument presentation

    An extensible natural calculus for argument presentation von Huang, Xiaorong

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    An extensible natural calculus for argument presentation

    An extensible natural calculus for argument presentation von Huang, Xiaorong

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    A human oriented proof presentation method

    A human oriented proof presentation method von Huang, Xiaorong

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    The presentation of proofs at the assertion level

    The presentation of proofs at the assertion level von Huang, Xiaorong

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    The presentation of proofs at the assertion level

    The presentation of proofs at the assertion level von Huang, Xiaorong

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Methods - the basic units for planning and verifying proofs

    Methods - the basic units for planning and verifying proofs von Huang, Xiaorong, Kerber, Manfred, Kohlhase, Michael 1964-

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: