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

Leipziger Journalistik im Wandel von Stephan, Susanne

Leipziger Journalistik im Wandel von Stephan, Susanne

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

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

Beschreibung

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

Inhaltsverzeichnis

Companion technologies von Biundo-Stephan, Susanne 1955-

Weitere Verfasser: “… Biundo-Stephan, Susanne 1955- …”

Tankstellengedichte von Stephan, Susanne 1963-

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

Volltext öffnen

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

Volltext öffnen

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

Inhaltsverzeichnis

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

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

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

Volltext öffnen Volltext öffnen

Nelken ein Portrait von Stephan, Susanne 1963-

Inhaltsverzeichnis
Beschreibung

Haydns Papagei Gedichte von Stephan, Susanne 1963-

Beschreibung

Gegenzauber Gedichte von Stephan, Susanne 1963-

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

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

Leipziger Journalistik im Wandel von Stephan, Susanne