Data

Prolog

The University of Queensland
Dr Brijesh Dongol (Aggregated by) Dr Brijesh Dongol (Aggregated by) Dr Peter Robinson (Aggregated by) Emeritus Professor Ian Hayes (Aggregated by) Emeritus Professor Ian Hayes (Aggregated by)
Viewed: [[ro.stat.viewed]] Cited: [[ro.stat.cited]] Accessed: [[ro.stat.accessed]]
ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rfr_id=info%3Asid%2FANDS&rft_id=info:doi10.14264/uql.2014.173&rft.title=Prolog&rft.identifier=10.14264/uql.2014.173&rft.publisher=The University of Queensland&rft.description=Prolog - program to support the paper Reasoning about Goal-Directed Real-Time Teleo-Reactive Programs&rft.creator=Dr Brijesh Dongol&rft.creator=Dr Brijesh Dongol&rft.creator=Dr Peter Robinson&rft.creator=Emeritus Professor Ian Hayes&rft.creator=Emeritus Professor Ian Hayes&rft.date=2013&rft_rights=2013, The University of Queensland&rft_rights= http://creativecommons.org/licenses/by/3.0/deed.en_US&rft_subject=eng&rft_subject=INFORMATION AND COMPUTING SCIENCES&rft.type=dataset&rft.language=English Access the data
Cite Saved to MyRDA Save to MyRDA

Licence & Rights:

Open Licence view details
CC-BY

http://creativecommons.org/licenses/by/3.0/deed.en_US

2013, The University of Queensland

Access:

Open

Contact Information

[email protected]

Full description

Prolog - program to support the paper "Reasoning about Goal-Directed Real-Time Teleo-Reactive Programs"

Issued: 2013

Data time period: 2012 to 2012

Data time period: Data collected from: 2012-01-01T00:00:00Z
Data collected to: 2012-01-01T00:00:00Z

This dataset is part of a larger collection

Click to explore relationships graph
Help

Related Data

Related People

Related Grants and Projects

Subjects
Information and Computing Sciences | eng |

User Contributed Tags    

Login to tag this record with meaningful keywords to make it easier to discover

Other Information
Identifiers