Suchergebnisse - Stephan, Susanne

Treffer filtern
  1. 1
    Buchumschlag

    Automatische Synthese rekursiver Programme als Beweisverfahren
    von Biundo-Stephan, Susanne 1955-

    Veröffentlicht 1992
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Deductive planning and plan reuse in a command language environment
    von Biundo-Stephan, Susanne 1955-, Dengler, Dietmar, Koehler, Jana

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    A new logical framework for deductive planning
    von Stephan, Werner, Biundo-Stephan, Susanne 1955-

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Automatische Synthese rekursiver Programme als Beweisverfahren
    von Biundo-Stephan, Susanne 1955-

    Veröffentlicht 1992
    Elektronisch E-Book


    Gespeichert in:
  5. 5
    Buchumschlag

    Existence proofs by induction using methods of program synthesis
    von Biundo-Stephan, Susanne 1955-

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Der Held und seine Heizung: Brennstoffe der Literatur
    von Stephan, Susanne 1963-

    Veröffentlicht 2023
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Tankstellengedichte
    von Stephan, Susanne 1963-

    Veröffentlicht 2003
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Haydns Papagei: Gedichte
    von Stephan, Susanne 1963-

    Veröffentlicht 2015
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Gegenzauber: Gedichte
    von Stephan, Susanne 1963-

    Veröffentlicht 2008
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Plan generation using a method of deductive program synthesis
    von Biundo-Stephan, Susanne 1955-

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Leipziger Journalistik im Wandel
    Band 1
    von Stephan, Susanne

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Leipziger Journalistik im Wandel
    Band 2 - Anhang
    von Stephan, Susanne

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Effects of artificial light at night, browning and eutrophication on freshwater phytoplankton
    von Stephan, Susanne

    Veröffentlicht 2021
    Inhaltsverzeichnis
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Companion technologies
    von Biundo-Stephan, Susanne 1955-

    Veröffentlicht 2016
    Weitere beteiligte Personen: “… Biundo-Stephan, Susanne 1955- …”
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    Narrenbühne auf dem Zeichenblatt: das Pulcinellentheater des Giandomenico Tiepolo
    von Stephan, Susanne

    Veröffentlicht 1996
    Paper


    Gespeichert in:
  16. 16
    Buchumschlag

    Narrenbühne auf dem Zeichenblatt: das Pulcinellentheater des Giandomenico Tiepolo
    von Stephan, Susanne

    Veröffentlicht 1996
    Paper


    Gespeichert in:
  17. 17
    Buchumschlag

    Deduction-based refinement planning
    von Stephan, Werner, Biundo-Stephan, Susanne 1955-

    Veröffentlicht 1995
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    Nelken: ein Portrait
    von Stephan, Susanne 1963-

    Veröffentlicht 2018
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

    Existence proofs by induction using methods of program synthesis
    von Biundo-Stephan, Susanne 1955-, Zboray, František

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    Leipziger Journalistik im Wandel
    von Stephan, Susanne

    Buch


    Gespeichert in:

Suchwerkzeuge: