BibTeX record conf/dcai/Loukanova22

• > Home > conf/dcai/Loukanova22

@inproceedings{DBLP:conf/dcai/Loukanova22,
  author       = {Roussanka Loukanova},
  editor       = {Sigeru Omatu and
                  Rashid Mehmood and
                  Pawel Sitek and
                  Serafino Cicerone and
                  Sara Rodr{\'{\i}}guez},
  title        = {Algorithmic Dependent-Type Theory of Situated Information and Context
                  Assessments},
  booktitle    = {Distributed Computing and Artificial Intelligence, 19th International
                  Conference, {DCAI} 2022, L'Aquila, Italy, 13-15 July 2022},
  series       = {Lecture Notes in Networks and Systems},
  volume       = {583},
  pages        = {31--41},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-20859-1\_4},
  doi          = {10.1007/978-3-031-20859-1\_4},
  timestamp    = {Mon, 11 Mar 2024 20:43:17 +0100},
  biburl       = {https://dblp.org/rec/conf/dcai/Loukanova22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}