%0 Conference Paper %1 conf/kr/GruberO94 %A Gruber, Thomas R. %A Olsen, Gregory R. %B KR %D 1994 %E Doyle, Jon %E Sandewall, Erik %E Torasso, Pietro %I Morgan Kaufmann %K dblp %P 258-269 %T An Ontology for Engineering Mathematics. %U http://dblp.uni-trier.de/db/conf/kr/kr94.html#GruberO94 %@ 1-55860-328-X

@inproceedings{conf/kr/GruberO94, added-at = {2012-05-18T00:00:00.000+0200}, author = {Gruber, Thomas R. and Olsen, Gregory R.}, biburl = {https://www.bibsonomy.org/bibtex/24cae126dc5e063ccc7bfe5d455486dc2/dblp}, booktitle = {KR}, crossref = {conf/kr/1994}, editor = {Doyle, Jon and Sandewall, Erik and Torasso, Pietro}, interhash = {d14849f49e27a73df7b3ba439507bd66}, intrahash = {4cae126dc5e063ccc7bfe5d455486dc2}, isbn = {1-55860-328-X}, keywords = {dblp}, pages = {258-269}, publisher = {Morgan Kaufmann}, timestamp = {2012-05-19T11:38:41.000+0200}, title = {An Ontology for Engineering Mathematics.}, url = {http://dblp.uni-trier.de/db/conf/kr/kr94.html#GruberO94}, year = 1994 }