Susanne Biundo-Stephan

Susanne Biundo-Stephan (* 1955 als Susanne Biundo) ist eine deutsche Informatikerin und leitete von 2010 bis 2021 das Institut für Künstliche Intelligenz der Universität Ulm. Veröffentlicht in Wikipedia
Treffer 1 - 10 von 10 für Suche 'Biundo-Stephan, Susanne 1955-', Suchdauer: 0,91s Treffer weiter einschränken
  1. 1
    Companion technologies

    Companion technologies von Biundo-Stephan, Susanne 1955-

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

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Deduction-based refinement planning

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

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Deductive planning and plan reuse in a command language environment

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

    Veröffentlicht 1992
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    A new logical framework for deductive planning

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

    Veröffentlicht 1992
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Automatische Synthese rekursiver Programme als Beweisverfahren

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

    Veröffentlicht 1992

    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Plan generation using a method of deductive program synthesis

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

    Veröffentlicht 1990
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Existence proofs by induction using methods of program synthesis

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

    Veröffentlicht 1984
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Automatische Synthese rekursiver Programme als Beweisverfahren

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

    Veröffentlicht 1992
    Abschlussarbeit Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Existence proofs by induction using methods of program synthesis

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

    Veröffentlicht 1984
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Companion technology aparadigm shift in human-technology interaction

    Companion technology aparadigm shift in human-technology interaction

    Veröffentlicht 2017
    Weitere Verfasser: “… Biundo-Stephan, Susanne 1955- …”
    Volltext
    Inhaltstext
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: