Showing 1 - 4 results of 4 for search 'Ohta, Yoshihiko', query time: 0.04s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Making dependency-directed search hierarchical

    Making dependency-directed search hierarchical by Inoue, Katsumi, Ohta, Yoshihiko

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Incorporating top-down information into bottom-up hypothetical reasoning

    Incorporating top-down information into bottom-up hypothetical reasoning by Ohta, Yoshihiko, Inoue, Katsumi

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    A forward-chaining multiple-context reasoner and its application to logic design

    A forward-chaining multiple-context reasoner and its application to logic design by Ohta, Yoshihiko, Inoue, Katsumi

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    A forward-chaining hypothetical reasoner based on upside-down meta-interpretation

    A forward-chaining hypothetical reasoner based on upside-down meta-interpretation by Ohta, Yoshihiko, Inoue, Katsumi

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: