,
Foundational Ontologies Meet Automatic Theorem Provers.
P. Garbacz.JOWO, том 3249 из CEUR Workshop Proceedings, CEUR-WS.org, (2022)
Метаданные
- ключ BibTeX
- conf/jowo/Garbacz22
- тип записи
- inproceedings
- название книги
- JOWO
- год
- 2022
- издательство
- CEUR-WS.org
- серии
- CEUR Workshop Proceedings
- том
- 3249
- Перекрестная ссылка BibTeX
- 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
тэги
Пользователи данного ресурса
Комментарии и рецензиипоказать / перейти в невидимый режим
Цитировать эту публикацию
%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
}