Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 conf/iclp/ChengPE95
%A Cheng, Mantis H. M.
%A Jr., Douglas Stott Parker
%A van Emden, Maarten H.
%B ICLP
%D 1995
%E Sterling, Leon
%I MIT Press
%K dblp
%P 497-511
%T A Method for Implementing Equational Theories as Logic Programs.
%U http://dblp.uni-trier.de/db/conf/iclp/iclp95.html#ChengPE95
%@ 0-262-69177-9
@inproceedings{conf/iclp/ChengPE95,
added-at = {2013-12-02T00:00:00.000+0100},
author = {Cheng, Mantis H. M. and Jr., Douglas Stott Parker and van Emden, Maarten H.},
biburl = {https://www.bibsonomy.org/bibtex/2b21cec7665a7f16d36e7c255846d38b0/dblp},
booktitle = {ICLP},
crossref = {conf/iclp/1995},
editor = {Sterling, Leon},
interhash = {33f206b3304196c86f4304408b4b3233},
intrahash = {b21cec7665a7f16d36e7c255846d38b0},
isbn = {0-262-69177-9},
keywords = {dblp},
pages = {497-511},
publisher = {MIT Press},
timestamp = {2013-12-03T11:35:12.000+0100},
title = {A Method for Implementing Equational Theories as Logic Programs.},
url = {http://dblp.uni-trier.de/db/conf/iclp/iclp95.html#ChengPE95},
year = 1995
}