Treffer 1 – 20 von 20 für Suche 'Ohlbach, Hans Jürgen', Suchdauer: 0,05s 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
    Design Patterns für mathematische Beweise ein Leitfaden insbesondere für Informatiker

    Design Patterns für mathematische Beweise ein Leitfaden insbesondere für Informatiker von Ohlbach, Hans Jürgen, Eisinger, Norbert

    Veröffentlicht 2017
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Deduction systems based on resolution

    Deduction systems based on resolution von Eisinger, Norbert, Ohlbach, Hans Jürgen

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Context Logic

    Context Logic von Ohlbach, Hans Jürgen

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Context logic

    Context logic von Ohlbach, Hans Jürgen

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Design Patterns für mathematische Beweise ein Leitfaden insbesondere für Informatiker

    Design Patterns für mathematische Beweise ein Leitfaden insbesondere für Informatiker von Ohlbach, Hans Jürgen, Eisinger, Norbert

    Veröffentlicht 2017
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Semantics based translation methods for modal logics

    Semantics based translation methods for modal logics von Ohlbach, Hans Jürgen

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Elimination of redundancies in clause sets and clause graphs

    Elimination of redundancies in clause sets and clause graphs von Eisinger, Norbert, Ohlbach, Hans Jürgen, Präcklein, Axel

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    The Markgraf Karl refutation procedure

    The Markgraf Karl refutation procedure von Ohlbach, Hans Jürgen, Siekmann, Jörg H.

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    A resolution calculus for modal logics

    A resolution calculus for modal logics von Ohlbach, Hans Jürgen

    Veröffentlicht 1988
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Using automated reasoning techniques for deductive databases

    Using automated reasoning techniques for deductive databases von Ohlbach, Hans Jürgen, Siekmann, Jörg H.

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Logic, Language and Reasoning Essays in Honour of Dov Gabbay

    Logic, Language and Reasoning Essays in Honour of Dov Gabbay von Ohlbach, Hans Jürgen

    Veröffentlicht 1999

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Semantics based translation methods for modal logic

    Semantics based translation methods for modal logic von Ohlbach, Hans Jürgen

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    The Markgraf Karl refutation procedure

    The Markgraf Karl refutation procedure von Ohlbach, Hans Jürgen, Siekmann, Jörg H.

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Elimination of reduncancies in clause sets and clause graphs

    Elimination of reduncancies in clause sets and clause graphs von Eisinger, Norbert, Ohlbach, Hans Jürgen, Präcklein, Axel

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Using automated reasoning techniques for deductive databasis

    Using automated reasoning techniques for deductive databasis von Ohlbach, Hans Jürgen, Siekmann, Jörg H.

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Theory unification in abstract clause graphs

    Theory unification in abstract clause graphs von Ohlbach, Hans Jürgen

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Solving a problem in relevance logic with an automated theorem prover

    Solving a problem in relevance logic with an automated theorem prover von Ohlbach, Hans Jürgen

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Solving a problem in relevance logic with an automated theorem prover

    Solving a problem in relevance logic with an automated theorem prover von Ohlbach, Hans Jürgen, Wrightson, Graham

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    The Markgraf Carl Refutation Procedure

    The Markgraf Carl Refutation Procedure von Ohlbach, Hans Jürgen

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    The Markgraf Carl Refutation procedure

    The Markgraf Carl Refutation procedure von Ohlbach, Hans Jürgen

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: