gefundene Verfasser OHTANI, T.

Ohtani, Takeshi
Minami, Toshiro
Sawamura, Hajime
Cappa, Giuseppe
Fujieda, Mamoru
Alle anzeigen »
Harada, Toshitaka
Kaur, Berinderjeet 1955-
Nonoshita, Yukari 20. Jh
Ohtani, Kayoko
Ohtani, Kenji

Treffer 1 - 7 von 7 für Suche 'OHTANI, T.', Suchdauer: 1,11s Treffer weiter einschränken
  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

    Zu den Favoriten
    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

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Musée Louis Leloup

    Musée Louis Leloup von Cappa, Giuseppe, Harada, Toshitaka, Ohtani, Kayoko

    Veröffentlicht 1998
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Implementing Constructive Type Theory on EUODHILOS

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

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    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

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Today is a very good day to die

    Today is a very good day to die von Fujieda, Mamoru

    Veröffentlicht 2006
    CD Audio

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Student voice in mathematics classrooms around the world

    Student voice in mathematics classrooms around the world

    Veröffentlicht 2013
    “… Glenda Anthony, Berinderjeet Kaur, David Clarke, and Minoru Ohtani -- …”
    FAW01
    FAW02
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: