Inproceedings,
A Non-Reified Temporal Logic.
F. Bacchus, J. Tenenberg, and J. Koomen.KR, page 2-10. Morgan Kaufmann, (1989)
Meta data
- BibTeX key
- conf/kr/BacchusTK89
- entry type
- inproceedings
- booktitle
- KR
- year
- 1989
- pages
- 2-10
- publisher
- Morgan Kaufmann
- crossref
- conf/kr/1989
- isbn
- 1-55860-032-9
- url
- http://dblp.uni-trier.de/db/conf/kr/kr89.html#BacchusTK89
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/kr/BacchusTK89
%A Bacchus, Fahiem
%A Tenenberg, Josh
%A Koomen, Johannes A. G. M.
%B KR
%D 1989
%E Brachman, Ronald J.
%E Levesque, Hector J.
%E Reiter, Raymond
%I Morgan Kaufmann
%K dblp
%P 2-10
%T A Non-Reified Temporal Logic.
%U http://dblp.uni-trier.de/db/conf/kr/kr89.html#BacchusTK89
%@ 1-55860-032-9
@inproceedings{conf/kr/BacchusTK89,
added-at = {2022-05-19T00:00:00.000+0200},
author = {Bacchus, Fahiem and Tenenberg, Josh and Koomen, Johannes A. G. M.},
biburl = {https://www.bibsonomy.org/bibtex/2af2fe4fd8847da505bba9199322b2d48/dblp},
booktitle = {KR},
crossref = {conf/kr/1989},
editor = {Brachman, Ronald J. and Levesque, Hector J. and Reiter, Raymond},
interhash = {c519238bfcad74fd4d66894b909438ac},
intrahash = {af2fe4fd8847da505bba9199322b2d48},
isbn = {1-55860-032-9},
keywords = {dblp},
pages = {2-10},
publisher = {Morgan Kaufmann},
timestamp = {2024-04-10T19:58:16.000+0200},
title = {A Non-Reified Temporal Logic.},
url = {http://dblp.uni-trier.de/db/conf/kr/kr89.html#BacchusTK89},
year = 1989
}