Showing 1 - 13 results of 13 for search 'Iwayama, Noboru', query time: 0.07s 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
    Computing abduction in logic programming

    Computing abduction in logic programming by Iwayama, Noboru, Satoh, Ken 1959-

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    A formalization of generalization-based analogy in general logic programs

    A formalization of generalization-based analogy in general logic programs by Iwayama, Noboru, Satoh, Ken 1959-, Arima, Jun

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    A correct top-down proof procedure for a general logic program with integrity constraints

    A correct top-down proof procedure for a general logic program with integrity constraints by Satoh, Ken 1959-, Iwayama, Noboru

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Magic sets and bottom-up evaluation of stable model

    Magic sets and bottom-up evaluation of stable model by Fujita, Masayuki, Iwayama, Noboru, Hasegawa, Ryuzo

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Acceptable hypotheses, semantics for negation by default

    Acceptable hypotheses, semantics for negation by default by Iwayama, Noboru

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Bottom-up procedure with top-down expectation for general logic program with integrity constraint

    Bottom-up procedure with top-down expectation for general logic program with integrity constraint by Iwayama, Noboru, Satoh, Ken 1959-

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Parallel randomized search for distributed memory machines

    Parallel randomized search for distributed memory machines by Iwayama, Noboru, Satoh, Ken 1959-

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    An implementation of TMS in concurrent logic programming language preliminary report

    An implementation of TMS in concurrent logic programming language preliminary report by Satoh, Ken 1959-, Iwayama, Noboru, Sugino, Eiji

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Rules representing two types of epistemic statements

    Rules representing two types of epistemic statements by Iwayama, Noboru

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    Investigating assumption-semantics through open positive programs

    Investigating assumption-semantics through open positive programs by Iwayama, Noboru

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    A query evaluation method for abductive logic programming

    A query evaluation method for abductive logic programming by Satoh, Ken 1959-, Iwayama, Noboru

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  12. 12
    An implementation of TMS in concurrent logic programming language preliminary report

    An implementation of TMS in concurrent logic programming language preliminary report by Satō, Ken, Iwayama, Noboru, Sugino, Eiji

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  13. 13
    Computing abduction by using the TMS

    Computing abduction by using the TMS by Satoh, Ken 1959-, Iwayama, Noboru

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: