Inproceedings,
KRYPTON: Integrating Terminology and Assertion.
R. Brachman, H. Levesque, and R. Fikes.AAAI, page 31-35. AAAI Press, (1983)
Meta data
- BibTeX key
- conf/aaai/BrachmanLF83
- entry type
- inproceedings
- booktitle
- AAAI
- year
- 1983
- pages
- 31-35
- publisher
- AAAI Press
- crossref
- conf/aaai/1983
- ee
- http://www.aaai.org/Library/AAAI/1983/aaai83-005.php
- isbn
- 0-262-51052-9
- url
- http://dblp.uni-trier.de/db/conf/aaai/aaai83.html#BrachmanLF83
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/aaai/BrachmanLF83
%A Brachman, Ronald J.
%A Levesque, Hector J.
%A Fikes, Richard
%B AAAI
%D 1983
%E Genesereth, Michael R.
%I AAAI Press
%K dblp
%P 31-35
%T KRYPTON: Integrating Terminology and Assertion.
%U http://dblp.uni-trier.de/db/conf/aaai/aaai83.html#BrachmanLF83
%@ 0-262-51052-9
@inproceedings{conf/aaai/BrachmanLF83,
added-at = {2023-09-04T00:00:00.000+0200},
author = {Brachman, Ronald J. and Levesque, Hector J. and Fikes, Richard},
biburl = {https://www.bibsonomy.org/bibtex/24927af63e784b5f8fcbfa18d397c7225/dblp},
booktitle = {AAAI},
crossref = {conf/aaai/1983},
editor = {Genesereth, Michael R.},
ee = {http://www.aaai.org/Library/AAAI/1983/aaai83-005.php},
interhash = {eb21731eb43df751187d74763583a973},
intrahash = {4927af63e784b5f8fcbfa18d397c7225},
isbn = {0-262-51052-9},
keywords = {dblp},
pages = {31-35},
publisher = {AAAI Press},
timestamp = {2024-04-10T14:52:46.000+0200},
title = {KRYPTON: Integrating Terminology and Assertion.},
url = {http://dblp.uni-trier.de/db/conf/aaai/aaai83.html#BrachmanLF83},
year = 1983
}