Inproceedings,
Angelic environment: demonstration.
L. Al-Abdulkarim, K. Atkinson, S. Atkinson, and T. Bench-Capon.ICAIL, page 267-268. ACM, (2017)
Meta data
- BibTeX key
- conf/icail/Al-AbdulkarimAA17
- entry type
- inproceedings
- booktitle
- ICAIL
- year
- 2017
- pages
- 267-268
- publisher
- ACM
- crossref
- conf/icail/2017
- ee
- https://doi.org/10.1145/3086512.3086546
- isbn
- 978-1-4503-4891-1
- url
- http://dblp.uni-trier.de/db/conf/icail/icail2017.html#Al-AbdulkarimAA17
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/icail/Al-AbdulkarimAA17
%A Al-Abdulkarim, Latifa
%A Atkinson, Katie
%A Atkinson, Sam
%A Bench-Capon, Trevor J. M.
%B ICAIL
%D 2017
%E Keppens, Jeroen
%E Governatori, Guido
%I ACM
%K
%P 267-268
%T Angelic environment: demonstration.
%U http://dblp.uni-trier.de/db/conf/icail/icail2017.html#Al-AbdulkarimAA17
%@ 978-1-4503-4891-1
@inproceedings{conf/icail/Al-AbdulkarimAA17,
added-at = {2023-12-13T04:51:52.000+0100},
author = {Al-Abdulkarim, Latifa and Atkinson, Katie and Atkinson, Sam and Bench-Capon, Trevor J. M.},
biburl = {https://www.bibsonomy.org/bibtex/204cb25779101c14920bfe5892f447fc7/admin},
booktitle = {ICAIL},
crossref = {conf/icail/2017},
editor = {Keppens, Jeroen and Governatori, Guido},
ee = {https://doi.org/10.1145/3086512.3086546},
interhash = {9b549355d2229dc9a2ca999742b2bcb6},
intrahash = {04cb25779101c14920bfe5892f447fc7},
isbn = {978-1-4503-4891-1},
keywords = {},
pages = {267-268},
publisher = {ACM},
timestamp = {2023-12-13T04:51:52.000+0100},
title = {Angelic environment: demonstration.},
url = {http://dblp.uni-trier.de/db/conf/icail/icail2017.html#Al-AbdulkarimAA17},
year = 2017
}