Formalization of Algorithms and Logical Inference Systems in Proof Assistants

Research output: Chapter in Book/Report/Conference proceedingConference abstract in proceedingsResearchpeer-review

194 Downloads (Pure)
Original languageEnglish
Title of host publicationProceedings of the 13th Scandinavian Conference on Artificial Intelligence (SCAI 2015)
EditorsS. Nowaczyk
PublisherIOS Press
Publication date2015
Pages188-190
ISBN (Print)978-1-61499-588-3
ISBN (Electronic)978-1-61499-589-0
DOIs
Publication statusPublished - 2015
Event13th Scandinavian Conference on Artificial Intelligence (SCAI 2015) - Halmstad, Sweden
Duration: 4 Nov 20156 Nov 2015
Conference number: 13
http://www.hh.se/scai2015

Conference

Conference13th Scandinavian Conference on Artificial Intelligence (SCAI 2015)
Number13
CountrySweden
CityHalmstad
Period04/11/201506/11/2015
Internet address
SeriesFrontiers in Artificial Intelligence and Applications
Volume278
ISSN0922-6389

Bibliographical note

Extended Abstract

Cite this

Schlichtkrull, A. (2015). Formalization of Algorithms and Logical Inference Systems in Proof Assistants. In S. Nowaczyk (Ed.), Proceedings of the 13th Scandinavian Conference on Artificial Intelligence (SCAI 2015) (pp. 188-190). IOS Press. Frontiers in Artificial Intelligence and Applications, Vol.. 278 https://doi.org/10.3233/978-1-61499-589-0-188
Schlichtkrull, Anders. / Formalization of Algorithms and Logical Inference Systems in Proof Assistants. Proceedings of the 13th Scandinavian Conference on Artificial Intelligence (SCAI 2015). editor / S. Nowaczyk. IOS Press, 2015. pp. 188-190 (Frontiers in Artificial Intelligence and Applications, Vol. 278).
@inbook{67002cf2eaf745e191ebfa5ea541e174,
title = "Formalization of Algorithms and Logical Inference Systems in Proof Assistants",
author = "Anders Schlichtkrull",
note = "Extended Abstract",
year = "2015",
doi = "10.3233/978-1-61499-589-0-188",
language = "English",
isbn = "978-1-61499-588-3",
pages = "188--190",
editor = "S. Nowaczyk",
booktitle = "Proceedings of the 13th Scandinavian Conference on Artificial Intelligence (SCAI 2015)",
publisher = "IOS Press",

}

Schlichtkrull, A 2015, Formalization of Algorithms and Logical Inference Systems in Proof Assistants. in S Nowaczyk (ed.), Proceedings of the 13th Scandinavian Conference on Artificial Intelligence (SCAI 2015). IOS Press, Frontiers in Artificial Intelligence and Applications, vol. 278, pp. 188-190, 13th Scandinavian Conference on Artificial Intelligence (SCAI 2015), Halmstad, Sweden, 04/11/2015. https://doi.org/10.3233/978-1-61499-589-0-188

Formalization of Algorithms and Logical Inference Systems in Proof Assistants. / Schlichtkrull, Anders.

Proceedings of the 13th Scandinavian Conference on Artificial Intelligence (SCAI 2015). ed. / S. Nowaczyk. IOS Press, 2015. p. 188-190 (Frontiers in Artificial Intelligence and Applications, Vol. 278).

Research output: Chapter in Book/Report/Conference proceedingConference abstract in proceedingsResearchpeer-review

TY - ABST

T1 - Formalization of Algorithms and Logical Inference Systems in Proof Assistants

AU - Schlichtkrull, Anders

N1 - Extended Abstract

PY - 2015

Y1 - 2015

U2 - 10.3233/978-1-61499-589-0-188

DO - 10.3233/978-1-61499-589-0-188

M3 - Conference abstract in proceedings

SN - 978-1-61499-588-3

SP - 188

EP - 190

BT - Proceedings of the 13th Scandinavian Conference on Artificial Intelligence (SCAI 2015)

A2 - Nowaczyk, S.

PB - IOS Press

ER -

Schlichtkrull A. Formalization of Algorithms and Logical Inference Systems in Proof Assistants. In Nowaczyk S, editor, Proceedings of the 13th Scandinavian Conference on Artificial Intelligence (SCAI 2015). IOS Press. 2015. p. 188-190. (Frontiers in Artificial Intelligence and Applications, Vol. 278). https://doi.org/10.3233/978-1-61499-589-0-188