Treffer 1 - 20 von 20 für Suche 'Robertson, Dave', Suchdauer: 0,34s Treffer weiter einschränken
  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
    Publisher description
    kostenfrei
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Domain specific problem description

    Domain specific problem description von Robertson, Dave

    Veröffentlicht 1996
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Distributed specification

    Distributed specification von Robertson, Dave

    Veröffentlicht 1996
    Buch

    Zu den Favoriten
    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

    Zu den Favoriten
    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

    Zu den Favoriten
    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

    Zu den Favoriten
    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

    Zu den Favoriten
    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

    Zu den Favoriten
    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

    Zu den Favoriten
    Gespeichert in:
  10. 10
    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

    Zu den Favoriten
    Gespeichert in:
  11. 11
    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

    Zu den Favoriten
    Gespeichert in:
  12. 12
    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

    Zu den Favoriten
    Gespeichert in:
  13. 13
    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

    Zu den Favoriten
    Gespeichert in:
  14. 14
    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

    Zu den Favoriten
    Gespeichert in:
  15. 15
    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

    Zu den Favoriten
    Gespeichert in:
  16. 16
    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

    Zu den Favoriten
    Gespeichert in:
  17. 17
    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

    Zu den Favoriten
    Gespeichert in:
  18. 18
    KICS

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

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Recovering incidence functions

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

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  20. 20
    A simple Prolog techniques editor for novice users

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

    Veröffentlicht 1991
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: