Abstract
Prolog - program to support the paper "Reasoning about Goal-Directed Real-Time Teleo-Reactive Programs" | 2013, The University of Queensland | Open Access | Creative Commons Attribution 3.0 International (CC BY 3.0)
- Title
- Prolog
- Creators
- Brijesh Dongol - School of Computer Science and Electronic Engineering
- Identifiers
- 99929041502346
- Academic Unit
- School of Computer Science and Electronic Engineering
- Language
- English
- Resource Type
- Dataset