Treffer 1 – 10 von 10 für Suche 'Basin, David A.', Suchdauer: 0,05s 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
    An adaptation of proof-planning to declarer play in bridge

    An adaptation of proof-planning to declarer play in bridge von Frank, Ian, Basin, David A., Bundy, Alan

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Some normalization properties of Martin-Löf's type theory, and applications

    Some normalization properties of Martin-Löf's type theory, and applications von Basin, David A., Howe, Douglas J.

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Difference matching

    Difference matching von Basin, David A., Walsh, Toby

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Automating meta-theory creation and system extension

    Automating meta-theory creation and system extension von Basin, David A., Giunchiglia, Fausto, Traverso, Paolo

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    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:
  6. 6
    Metalogical frameworks

    Metalogical frameworks von Basin, David A., Constable, Robert Lee 1952-

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    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:
  8. 8
    Extracting circuits from constructive proofs

    Extracting circuits from constructive proofs von Basin, David A.

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Experience with FS0 as a framework theory

    Experience with FS0 as a framework theory von Matthews, Seán, Smaill, Alan, Basin, David A.

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Metalogical frameworks

    Metalogical frameworks von Basin, David A., Constable, Robert Lee 1952-

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: