Treffer 1 – 16 von 16 für Suche 'Sawamura, Hajime', 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
    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:
  2. 2
    Notes on unsolvability proofs of determinacy in prolog

    Notes on unsolvability proofs of determinacy in prolog von Sawamura, Hajime

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Undecidability of determinacy, two decidable cases of determinacy and their applications to source-to-source transformation of Prolog programs

    Undecidability of determinacy, two decidable cases of determinacy and their applications to source-to-source transformation of Prolog programs von Sawamura, Hajime

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    A proof constructor for intensional logic with S5 decision procedure

    A proof constructor for intensional logic with S5 decision procedure von Sawamura, Hajime

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Proof methods based on sheet of thought in EUODHILOS

    Proof methods based on sheet of thought in EUODHILOS von Sawamura, Hajime, Minami, Toshiro, Ohashi, Kyoko

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Potential of general-purpose reasoning assistant system EUODHILOS

    Potential of general-purpose reasoning assistant system EUODHILOS von Sawamura, Hajime, Minami, Toshiro

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    EUODHILOS, a general approach to computer aided deductive reasoning

    EUODHILOS, a general approach to computer aided deductive reasoning von Minami, Toshiro, Sawamura, Hajime

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    General-purpose reasoning assistant system EUODHILOS and its applications

    General-purpose reasoning assistant system EUODHILOS and its applications von Sawamura, Hajime, Minami, Toshiro

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Source-level optimization techniques for Prolog

    Source-level optimization techniques for Prolog von Sawamura, Hajime, Takeshima, Taku, Kato, Akihiko

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Axiomatization of computer-oriented modal logic and decision procedure

    Axiomatization of computer-oriented modal logic and decision procedure von Sawamura, Hajime

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    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:
  12. 12
    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:
  13. 13
    The determinacy of a prolog predicate (call)

    The determinacy of a prolog predicate (call) von Sawamura, Hajime

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    A logic programming approach to specifying logics and constructing proofs

    A logic programming approach to specifying logics and constructing proofs von Sawamura, Hajime

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    EUODHILOS, interactive reasoning system for a variety of logics

    EUODHILOS, interactive reasoning system for a variety of logics von Minami, Toshiro, Sawamura, Hajime

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Intensional logic as a basis of algorithmic logic

    Intensional logic as a basis of algorithmic logic von Sawamura, Hajime

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: