Suchergebnisse - Heinemann, Bernhard

  • Treffer 1 – 20 von 20
Treffer filtern
  1. 1
    Buchumschlag

    Logik für Informatiker: Eine Einführung
    von Heinemann, Bernhard 1950-

    Veröffentlicht 1991
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Logik für Informatiker: eine Einführung
    von Heinemann, Bernhard, Weihrauch, Klaus

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Logik für Informatiker: eine Einführung
    von Heinemann, Bernhard, Weihrauch, Klaus

    Veröffentlicht 1992
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    A modal logic for Cantorian subset spaces
    von Heinemann, Bernhard

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Einige modale Logiken über K4D
    von Heinemann, Bernhard

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Subset space logics of knowledge and time
    von Heinemann, Bernhard

    Veröffentlicht 1998
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    On the complexity of prefix formulas in modal logic of subset spaces
    von Heinemann, Bernhard

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Some unusual models of test-free propositional dynamic logic
    von Heinemann, Bernhard

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Topological modal logic for subset frames with finite descent
    von Heinemann, Bernhard

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Some comments on expressiveness of modal logic
    von Heinemann, Bernhard

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Modal logic on wheels
    von Heinemann, Bernhard

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    A note on expressive completeness of modal logic
    von Heinemann, Bernhard

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Über mehrfach bewertete Henselsche Körper
    von Heinemann, Bernhard

    Veröffentlicht 1982
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Weiterentwicklung und Einsatz eines Mess-Systems mit asynchroner Abtastung zur zeitaufgelösten Terahertz-Spektroskopie an Gasen
    von Heinemann, Bernhard 1976-

    Veröffentlicht 2014
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    Wilhelm und Alexander von Blomberg: Zwei westfälische Dichter
    von Heinemann, Bernhard

    Veröffentlicht 1918
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    Weiterentwicklung und Einsatz eines Mess-Systems mit asynchroner Abtastung zur zeitaufgelösten Terahertz-Spektroskopie an Gasen
    von Heinemann, Bernhard 1976-

    Veröffentlicht 2013
    Online lesen (frei zugänglich)
    Hochschulschrift/Dissertation Elektronisch E-Book


    Gespeichert in:
  17. 17
    Buchumschlag

    Über mehrfach bewertete "Henselsche" Körper
    von Heinemann, Bernhard

    Veröffentlicht 1982
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    Logik für Informatiker
    von Heinemann, Bernhard, Weihrauch, Klaus 1943-

    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

    Logik für Informatiker
    Band 1/7
    von Heinemann, Bernhard, Weihrauch, Klaus 1943-

    Veröffentlicht 2009
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    Wilhelm und Alexander von Blomberg: Zwei westfälische Dichter
    von Heinemann, Bernhard

    Veröffentlicht 1918
    Buch


    Gespeichert in:

Suchwerkzeuge: