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,06s 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
    Companion technologies

    Companion technologies von Biundo-Stephan, Susanne 1955-

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


    Gespeichert in:
  2. 2
    Deduction-based refinement planning

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

    Veröffentlicht 1995
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    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 Fernleihe Bestellen


    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 Fernleihe Bestellen


    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 öffnen Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    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 Fernleihe Bestellen


    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 Fernleihe Bestellen


    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 Fernleihe Bestellen


    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 Fernleihe Bestellen


    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- …”
    Beschreibung
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: