David Robertson

David or Dave Robertson may refer to: Provided by Wikipedia
Showing 1 - 20 results of 20 for search 'Robertson, Dave', query time: 0.06s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  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 by Chen-Burger, Yun-Heh, Robertson, Dave

    Published 2005
    Get full text
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Domain specific problem description

    Domain specific problem description by Robertson, Dave

    Published 1996
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Distributed specification

    Distributed specification by Robertson, Dave

    Published 1996
    Book Interlibrary loan Place Request


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

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

    Published 1996
    Book Interlibrary loan Place Request


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

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

    Published 1995
    Book Interlibrary loan Place Request


    Saved 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 by Yang, Soon-Ae, Robertson, Dave

    Published 1995
    Book Interlibrary loan Place Request


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

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

    Published 1993
    Book Interlibrary loan Place Request


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

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

    Published 1992
    Book Interlibrary loan Place Request


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

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

    Published 1992
    Book Interlibrary loan Place Request


    Saved 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 by Park, Nam Seog, Robertson, Dave, Stenning, Keith

    Published 1995
    Book Interlibrary loan Place Request


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

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

    Published 1994
    Book Interlibrary loan Place Request


    Saved in:
  12. 12
    Recovering incidence functions

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

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  13. 13
    KICS

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

    Published 1993
    Book Interlibrary loan Place Request


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

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

    Published 1991
    Book Interlibrary loan Place Request


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

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

    Published 1995
    Book Interlibrary loan Place Request


    Saved 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 by Yang, Soon-Ae, Robertson, Dave, Lee, John

    Published 1994
    Book Interlibrary loan Place Request


    Saved 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 by Vargas-Vera, María, Robertson, Dave

    Published 1994
    Book Interlibrary loan Place Request


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

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

    Published 1993
    Book Interlibrary loan Place Request


    Saved 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 by Park, Nam Seog, Robertson, Dave, Stenning, Keith

    Published 1993
    Book Interlibrary loan Place Request


    Saved 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 by Vargas-Vera, María, Robertson, Dave, Inder, Robert

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: