pdfreaders.org

Using The Isabelle Ontology Framework: Linking the Formal with the Informal

Achim D. Brucker, Idir Ait-Sadoune, Paolo Crisafulli und Burkhart Wolff

Cover for brucker.ea:isabelle-ontologies:2018.

Schlüsselwörter: Isabelle/Isar, HOL, Ontologies
Kategorien: ,
Dokumente: (Artikel als PDF Datei)

QR Code for brucker.ea:isabelle-ontologies:2018.Bitte zitieren sie diesen Artikel wie folgt:
Achim D. Brucker, Idir Ait-Sadoune, Paolo Crisafulli und Burkhart Wolff. Using The Isabelle Ontology Framework: Linking the Formal with the Informal. In Conference on Intelligent Computer Mathematics (CICM). Lecture Notes in Computer Science, Springer-Verlag, 2018.
Schlüsselwörter: Isabelle/Isar, HOL, Ontologies
(Artikel als PDF Datei) (BibTeX) (Endnote) (RIS) (Word) (Share article on LinkedIn. Share article on CiteULike.)

BibTeX
@InCollection{ brucker.ea:isabelle-ontologies:2018,
address = {Heidelberg},
author = {Achim D. Brucker and Idir Ait-Sadoune and Paolo Crisafulli and Burkhart Wolff},
booktitle = {Conference on Intelligent Computer Mathematics (CICM)},
keywords = {Isabelle/Isar, HOL, Ontologies},
language = {USenglish},
location = {Hagenberg, Austria},
pdf = {https://www.brucker.ch/bibliography/download/2018/brucker.ea-isabelle-ontologies-2018.pdf},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
title = {Using The Isabelle Ontology Framework: Linking the Formal with the Informal},
url = {https://www.brucker.ch/bibliography/abstract/brucker.ea-isabelle-ontologies-2018},
year = {2018},
}