Article,
On First-Order Model-Based Reasoning.
M. Bonacina, U. Furbach, and V. Sofronie-Stokkermans.CoRR, (2015)
Meta data
- BibTeX key
- journals/corr/BonacinaFS15
- entry type
- article
- year
- 2015
- journal
- CoRR
- volume
- abs/1502.02535
- ee
- http://arxiv.org/abs/1502.02535
- url
- http://dblp.uni-trier.de/db/journals/corr/corr1502.html#BonacinaFS15
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/corr/BonacinaFS15
%A Bonacina, Maria Paola
%A Furbach, Ulrich
%A Sofronie-Stokkermans, Viorica
%D 2015
%J CoRR
%K
%T On First-Order Model-Based Reasoning.
%U http://dblp.uni-trier.de/db/journals/corr/corr1502.html#BonacinaFS15
%V abs/1502.02535
@article{journals/corr/BonacinaFS15,
added-at = {2023-12-14T15:57:00.000+0100},
author = {Bonacina, Maria Paola and Furbach, Ulrich and Sofronie-Stokkermans, Viorica},
biburl = {https://www.bibsonomy.org/bibtex/262f2a1236a8aefd349a085158e3da6eb/admin},
ee = {http://arxiv.org/abs/1502.02535},
interhash = {f1935f9484cdb60c2c50619b8cd67d36},
intrahash = {62f2a1236a8aefd349a085158e3da6eb},
journal = {CoRR},
keywords = {},
timestamp = {2023-12-14T15:57:00.000+0100},
title = {On First-Order Model-Based Reasoning.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr1502.html#BonacinaFS15},
volume = {abs/1502.02535},
year = 2015
}