External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Using the Isabelle Ontology Framework - Linking the Formal with the Informal

Achim D. Brucker, Idir Aït-Sadoune, Paolo Crisafulli, Burkhart Wolff. Using the Isabelle Ontology Framework - Linking the Formal with the Informal. In Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef, editors, Intelligent Computer Mathematics - 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings. Volume 11006 of Lecture Notes in Computer Science, pages 23-38, Springer, 2018. [doi]

Authors

Achim D. Brucker

This author has not been identified. It may be one of the following persons: Look up 'Achim D. Brucker' in Google

Idir Aït-Sadoune

This author has not been identified. Look up 'Idir Aït-Sadoune' in Google

Paolo Crisafulli

This author has not been identified. Look up 'Paolo Crisafulli' in Google

Burkhart Wolff

This author has not been identified. Look up 'Burkhart Wolff' in Google
runs on