Treffer 1 – 8 von 8 für Suche 'Lowe, Helen', 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
    Cash flow management an expert system for the construction client

    Cash flow management an expert system for the construction client von Lowe, John G., Moussa, Neveen, Lowe, Helen

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Extending the proof plan methodology to computer configuration problems

    Extending the proof plan methodology to computer configuration problems von Lowe, Helen

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Proof planning a methodology for developing AI systems involving design

    Proof planning a methodology for developing AI systems involving design von Lowe, Helen

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Synthesizing computer configurations from specifications structuring knowledge for design

    Synthesizing computer configurations from specifications structuring knowledge for design von Lowe, Helen

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    The use of theorem proving techniques in expert systems for configuration

    The use of theorem proving techniques in expert systems for configuration von Lowe, Helen

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    The use of proof planning for cooperative theorem proving

    The use of proof planning for cooperative theorem proving von Lowe, Helen, Bundy, Alan, McLean, Duncan

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Proof planning and maintainability of AI systems

    Proof planning and maintainability of AI systems von Lowe, Helen

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Synthesizing hardware configuration via proof

    Synthesizing hardware configuration via proof von Lowe, Helen

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: