Inproceedings,
On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract).
C. Aravindan, P. Baumgartner, J. Dix, U. Furbach, G. Neugebauer, I. Niemelä, D. Schäfer, and F. Stolzenburg.JICSLP, page 546. MIT Press, (1996)
Meta data
- BibTeX key
- conf/iclp/AravindanBDFNNSS96
- entry type
- inproceedings
- booktitle
- JICSLP
- year
- 1996
- pages
- 546
- publisher
- MIT Press
- crossref
- conf/iclp/1996
- isbn
- 0-262-63173-3
- url
- http://dblp.uni-trier.de/db/conf/iclp/iclp96.html#AravindanBDFNNSS96
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/iclp/AravindanBDFNNSS96
%A Aravindan, Chandrabose
%A Baumgartner, Peter
%A Dix, Jürgen
%A Furbach, Ulrich
%A Neugebauer, Gerd
%A Niemelä, Ilkka
%A Schäfer, Dorothea
%A Stolzenburg, Frieder
%B JICSLP
%D 1996
%E Maher, Michael J.
%I MIT Press
%K
%P 546
%T On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract).
%U http://dblp.uni-trier.de/db/conf/iclp/iclp96.html#AravindanBDFNNSS96
%@ 0-262-63173-3
@inproceedings{conf/iclp/AravindanBDFNNSS96,
added-at = {2023-12-13T05:55:23.000+0100},
author = {Aravindan, Chandrabose and Baumgartner, Peter and Dix, Jürgen and Furbach, Ulrich and Neugebauer, Gerd and Niemelä, Ilkka and Schäfer, Dorothea and Stolzenburg, Frieder},
biburl = {https://www.bibsonomy.org/bibtex/2a0bbc5e96fa9f181b6a22fddf007781b/admin},
booktitle = {JICSLP},
crossref = {conf/iclp/1996},
editor = {Maher, Michael J.},
interhash = {a8319858fef1f0bd21f9ed8ccb249fc7},
intrahash = {a0bbc5e96fa9f181b6a22fddf007781b},
isbn = {0-262-63173-3},
keywords = {},
pages = 546,
publisher = {MIT Press},
timestamp = {2023-12-13T05:55:23.000+0100},
title = {On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract).},
url = {http://dblp.uni-trier.de/db/conf/iclp/iclp96.html#AravindanBDFNNSS96},
year = 1996
}