Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/kr/KuipersS94
%A Kuipers, Benjamin
%A Shults, Benjamin
%B KR
%D 1994
%E Doyle, Jon
%E Sandewall, Erik
%E Torasso, Pietro
%I Morgan Kaufmann
%K dblp
%P 391-402
%T Reasoning in Logic about Continuous Systems.
%U http://dblp.uni-trier.de/db/conf/kr/kr94.html#KuipersS94
%@ 1-55860-328-X
@inproceedings{conf/kr/KuipersS94,
added-at = {2012-05-18T00:00:00.000+0200},
author = {Kuipers, Benjamin and Shults, Benjamin},
biburl = {https://www.bibsonomy.org/bibtex/2fea777623b97212bc18bfa212f9e8f5b/dblp},
booktitle = {KR},
crossref = {conf/kr/1994},
editor = {Doyle, Jon and Sandewall, Erik and Torasso, Pietro},
interhash = {52c7e5b14bede8b22db1cd8fc9f7dd3a},
intrahash = {fea777623b97212bc18bfa212f9e8f5b},
isbn = {1-55860-328-X},
keywords = {dblp},
pages = {391-402},
publisher = {Morgan Kaufmann},
timestamp = {2012-05-19T11:38:41.000+0200},
title = {Reasoning in Logic about Continuous Systems.},
url = {http://dblp.uni-trier.de/db/conf/kr/kr94.html#KuipersS94},
year = 1994
}