Treffer 1 – 13 von 13 für Suche 'Iwayama, Noboru', Suchdauer: 0,07s 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
    Computing abduction in logic programming

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

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert 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 von Satoh, Ken 1959-, Iwayama, Noboru

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert 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 von Iwayama, Noboru, Satoh, Ken 1959-

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert 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 von Satoh, Ken 1959-, Iwayama, Noboru, Sugino, Eiji

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


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

    Rules representing two types of epistemic statements von Iwayama, Noboru

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert 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 von Satō, Ken, Iwayama, Noboru, Sugino, Eiji

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: