Treffer 1 – 10 von 10 für Suche 'Minami, Toshiro', Suchdauer: 0,03s 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
    Proof methods based on sheet of thought in EUODHILOS

    Proof methods based on sheet of thought in EUODHILOS von Sawamura, Hajime, Minami, Toshiro, Ohashi, Kyoko

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Potential of general-purpose reasoning assistant system EUODHILOS

    Potential of general-purpose reasoning assistant system EUODHILOS von Sawamura, Hajime, Minami, Toshiro

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    EUODHILOS, a general approach to computer aided deductive reasoning

    EUODHILOS, a general approach to computer aided deductive reasoning von Minami, Toshiro, Sawamura, Hajime

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    General-purpose reasoning assistant system EUODHILOS and its applications

    General-purpose reasoning assistant system EUODHILOS and its applications von Sawamura, Hajime, Minami, Toshiro

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Reasoning assistant system EUODHILOS-II operation manual

    Reasoning assistant system EUODHILOS-II operation manual von Ohtani, Takeshi, Sawamura, Hajime, Minami, Toshiro

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    A beginner's guide to EUODHILOS

    A beginner's guide to EUODHILOS von Minami, Toshiro, Sawamura, Hajime, Ohtani, Takeshi

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    EUODHILOS, interactive reasoning system for a variety of logics

    EUODHILOS, interactive reasoning system for a variety of logics von Minami, Toshiro, Sawamura, Hajime

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Implementing Constructive Type Theory on EUODHILOS

    Implementing Constructive Type Theory on EUODHILOS von Ohtani, Takeshi, Sawamura, Hajime, Minami, Toshiro

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    EUODHILOS, a general approach to computer aided deductive reasoning

    EUODHILOS, a general approach to computer aided deductive reasoning von Minami, Toshiro, SAawamura, Hajime

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    A theorem prover based on connection graph and its implementation by Prol

    A theorem prover based on connection graph and its implementation by Prol von Minami, Toshiro

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: