Treffer 1 – 3 von 3 für Suche 'Kraan, Ina', Suchdauer: 0,04s 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
    Middle-out reasoning for synthesis and induction

    Middle-out reasoning for synthesis and induction von Kraan, Ina, Basin, David, Bundy, Alan

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Middle-out reasoning for logic program synthesis

    Middle-out reasoning for logic program synthesis von Kraan, Ina, Basin, David A., Bundy, Alan

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Logic program synthesis via proof planning

    Logic program synthesis via proof planning von Kraan, Ina, Basin, David A., Bundy, Alan

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: