Inproceedings,
Foundational Ontologies Meet Automatic Theorem Provers.
P. Garbacz.JOWO, volume 3249 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)
Meta data
- BibTeX key
- conf/jowo/Garbacz22
- entry type
- inproceedings
- booktitle
- JOWO
- year
- 2022
- publisher
- CEUR-WS.org
- series
- CEUR Workshop Proceedings
- volume
- 3249
- crossref
- conf/jowo/2022
- ee
- https://ceur-ws.org/Vol-3249/paper1-FOUST.pdf
- url
- http://dblp.uni-trier.de/db/conf/jowo/jowo2022.html#Garbacz22
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/jowo/Garbacz22
%A Garbacz, Pawel
%B JOWO
%D 2022
%E Sales, Tiago Prince
%E Hedblom, Maria M.
%E Tan, He
%E Righetti, Guendalina
%E Kutz, Oliver
%E Glauer, Martin
%E Hastings, Janna
%E Mossakowski, Till
%E Neuhaus, Fabian
%E Álvarez, Lucía Gómez
%E Peñaloza, Rafael
%E Vesic, Srdjan
%E Fonseca, Claudenir Morais
%E Thai, Jona
%E Borgo, Stefano
%E Dooley, Damion M.
%E Cameron, Rhiannon
%E Chan, Lauren E.
%E Cavalieri, Duccio
%E Warren, Robert
%E Küçük-McGinty, Hande
%E Lange, Matthew
%E Forea, Fernanda
%E Vitali, Francesco
%E Gajderowicz, Bart
%E Rosu, Daniela
%E Gangemi, Aldo
%E Porzel, Robert
%E Beßler, Daniel
%E Pomarlan, Mihai
%E Diab, Mohammed
%E Alarcos, Alberto Olivares
%I CEUR-WS.org
%K dblp
%T Foundational Ontologies Meet Automatic Theorem Provers.
%U http://dblp.uni-trier.de/db/conf/jowo/jowo2022.html#Garbacz22
%V 3249
@inproceedings{conf/jowo/Garbacz22,
added-at = {2023-03-10T00:00:00.000+0100},
author = {Garbacz, Pawel},
biburl = {https://www.bibsonomy.org/bibtex/244c18e9068f7f15d32e4d747d9a9490b/dblp},
booktitle = {JOWO},
crossref = {conf/jowo/2022},
editor = {Sales, Tiago Prince and Hedblom, Maria M. and Tan, He and Righetti, Guendalina and Kutz, Oliver and Glauer, Martin and Hastings, Janna and Mossakowski, Till and Neuhaus, Fabian and Álvarez, Lucía Gómez and Peñaloza, Rafael and Vesic, Srdjan and Fonseca, Claudenir Morais and Thai, Jona and Borgo, Stefano and Dooley, Damion M. and Cameron, Rhiannon and Chan, Lauren E. and Cavalieri, Duccio and Warren, Robert and Küçük-McGinty, Hande and Lange, Matthew and Forea, Fernanda and Vitali, Francesco and Gajderowicz, Bart and Rosu, Daniela and Gangemi, Aldo and Porzel, Robert and Beßler, Daniel and Pomarlan, Mihai and Diab, Mohammed and Alarcos, Alberto Olivares},
ee = {https://ceur-ws.org/Vol-3249/paper1-FOUST.pdf},
interhash = {4a850200543a92687ca331a9616f70de},
intrahash = {44c18e9068f7f15d32e4d747d9a9490b},
keywords = {dblp},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
timestamp = {2024-04-09T12:05:42.000+0200},
title = {Foundational Ontologies Meet Automatic Theorem Provers.},
url = {http://dblp.uni-trier.de/db/conf/jowo/jowo2022.html#Garbacz22},
volume = 3249,
year = 2022
}