Treffer 1 – 20 von 20 für Suche 'Robertson, Dave', Suchdauer: 0,07s 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
    Automating business modelling a guide to using logic to represent informal methods and support reasoning

    Automating business modelling a guide to using logic to represent informal methods and support reasoning von Chen-Burger, Yun-Heh, Robertson, Dave

    Veröffentlicht 2005
    Volltext öffnen
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Domain specific problem description

    Domain specific problem description von Robertson, Dave

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Distributed specification

    Distributed specification von Robertson, Dave

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Representing interaction of agents at different time granularities

    Representing interaction of agents at different time granularities von Mota, Edjard, Robertson, Dave

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Reasoning with limited unification in a connectionist rule based system

    Reasoning with limited unification in a connectionist rule based system von Park, Nam Seog, Robertson, Dave, Stenning, Keith

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    A case based reasoning system to support the relaxation of building regulations

    A case based reasoning system to support the relaxation of building regulations von Yang, Soon-Ae, Robertson, Dave

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Building large-scale Prolog programs using a techniques editing system

    Building large-scale Prolog programs using a techniques editing system von Vargas-Vera, María, Vasconcelos, Wamberto, Robertson, Dave

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    An environment for combining Prolog programs

    An environment for combining Prolog programs von Vargas-Vera, María, Robertson, Dave, Inder, Robert

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    On the relationship between incidence calculus and ATMS

    On the relationship between incidence calculus and ATMS von Liu, Weiru, Bundy, Alan, Robertson, Dave

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    An extension of the temporal synchrony approach to dynamic variable binding in a connectionist inference system

    An extension of the temporal synchrony approach to dynamic variable binding in a connectionist inference system von Park, Nam Seog, Robertson, Dave, Stenning, Keith

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Case-based selection of requirements specifications for telecommunication systems

    Case-based selection of requirements specifications for telecommunication systems von Funk, Peter J., Robertson, Dave

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Recovering incidence functions

    Recovering incidence functions von Liu, Weiru, Bundy, Alan, Robertson, Dave

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    KICS

    KICS von Yang, Soon-Ae, Robertson, Dave, Lee, John

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    A simple Prolog techniques editor for novice users

    A simple Prolog techniques editor for novice users von Robertson, Dave

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Layered design of KBS from specification to hardware

    Layered design of KBS from specification to hardware von Robertson, Dave, Park, Nam Seog, Agustí i Cullell, Jaume

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    The use of case-based reasoning in the domain of building regulations

    The use of case-based reasoning in the domain of building regulations von Yang, Soon-Ae, Robertson, Dave, Lee, John

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    An environment for building Prolog programs based on knowlege about their construction

    An environment for building Prolog programs based on knowlege about their construction von Vargas-Vera, María, Robertson, Dave

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Combining Prolog programs in a techniques editing system

    Combining Prolog programs in a techniques editing system von Vargas-Vera, María, Robertson, Dave, Inder, Robert

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    An extension of the temporal synchrony solution to dynamic variable bindings in a connectionist system

    An extension of the temporal synchrony solution to dynamic variable bindings in a connectionist system von Park, Nam Seog, Robertson, Dave, Stenning, Keith

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    A mathematical framework for the problem of combination of Prolog programs

    A mathematical framework for the problem of combination of Prolog programs von Vargas-Vera, María, Robertson, Dave, Inder, Robert

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: