Treffer 1 – 4 von 4 für Suche 'Ohtani, Takeshi', 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
    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:
  2. 2
    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:
  3. 3
    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:
  4. 4
    ACE a syntax-directed editor customizable from examples and queries

    ACE a syntax-directed editor customizable from examples and queries von Takada, Yuji, Sakakibara, Yasubumi, Ohtani, Takeshi

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: