Incollection,
Unification theory.
F. Baader, and J. Siekmann.Handbook of Logic in Artificial Intelligence and Logic Programming (2), Oxford University Press, (1994)
Meta data
- BibTeX key
- books/ox/LAI2Hb1994/BaaderS94
- entry type
- incollection
- booktitle
- Handbook of Logic in Artificial Intelligence and Logic Programming (2)
- year
- 1994
- pages
- 41-126
- publisher
- Oxford University Press
- crossref
- books/ox/LAI2Hb94
- isbn
- 0-19-853746-8
- date
- 2008-05-06
- url
- http://dblp.uni-trier.de/db/books/collections/LAI2Handbook94.html#BaaderS94
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Book Section
%1 books/ox/LAI2Hb1994/BaaderS94
%A Baader, Franz
%A Siekmann, Jörg H.
%B Handbook of Logic in Artificial Intelligence and Logic Programming (2)
%D 1994
%E Gabbay, Dov M.
%E Hogger, Christopher J.
%E Robinson, J. A.
%E Siekmann, Jörg H.
%I Oxford University Press
%K dblp
%P 41-126
%T Unification theory.
%U http://dblp.uni-trier.de/db/books/collections/LAI2Handbook94.html#BaaderS94
%@ 0-19-853746-8
@incollection{books/ox/LAI2Hb1994/BaaderS94,
added-at = {2008-05-06T00:00:00.000+0200},
author = {Baader, Franz and Siekmann, Jörg H.},
biburl = {https://www.bibsonomy.org/bibtex/2d5c51097a6f397cfaac575e87177f5c7/dblp},
booktitle = {Handbook of Logic in Artificial Intelligence and Logic Programming (2)},
crossref = {books/ox/LAI2Hb94},
date = {2008-05-06},
description = {dblp},
editor = {Gabbay, Dov M. and Hogger, Christopher J. and Robinson, J. A. and Siekmann, Jörg H.},
interhash = {38527367828929e824d467a4e64fcec0},
intrahash = {d5c51097a6f397cfaac575e87177f5c7},
isbn = {0-19-853746-8},
keywords = {dblp},
pages = {41-126},
publisher = {Oxford University Press},
timestamp = {2008-05-07T11:50:04.000+0200},
title = {Unification theory.},
url = {http://dblp.uni-trier.de/db/books/collections/LAI2Handbook94.html#BaaderS94},
year = 1994
}