Formalization of Algorithms and Logical Inference Systems in Proof Assistants

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

233 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