Automated Deduction --- CADE-11, 11th International Conference on Automated Deduction. Kapur, D., editor Volume 607of Lecture Notes in Artificial IntelligenceSpringer-Verlag. Saratoga Springs, New York, June, 1992. bibtex @proceedings{ cade92,
title = {Automated Deduction --- CADE-11, 11th International Conference on Automated Deduction},
booktitle = {Automated Deduction --- CADE-11, 11th International Conference on Automated Deduction},
editor = {Deepak Kapur},
publisher = {Springer-Verlag},
series = {Lecture Notes in Artificial Intelligence},
volume = {607},
year = {1992},
month = {June},
address = {Saratoga Springs, New York},
isbn = {3-540-55602-8},
index = {CADE-11},
uri = {http://www.springer.com/sgw/cda/frontpage/0,11855,5-0-22-1379329-0,00.html},
uri = {http://www.informatik.uni-trier.de/~ley/db/conf/cade/cade92.html}
}
Downloads: 0
{"_id":{"_str":"53ff72c27c90ec6e130011e2"},"__v":0,"authorIDs":[],"bibbaseid":"kapur-automateddeductioncade1111thinternationalconferenceonautomateddeduction-1992","bibdata":{"downloads":0,"role":"editor","bibbaseid":"kapur-automateddeductioncade1111thinternationalconferenceonautomateddeduction-1992","year":"1992","volume":"607","uri":"http://www.informatik.uni-trier.de/~ley/db/conf/cade/cade92.html","type":"proceedings","title":"Automated Deduction --- CADE-11, 11th International Conference on Automated Deduction","series":"Lecture Notes in Artificial Intelligence","publisher":"Springer-Verlag","month":"June","key":"cade92","isbn":"3-540-55602-8","index":"CADE-11","id":"cade92","editor_short":["Kapur, D."],"editor":["Kapur, Deepak"],"booktitle":"Automated Deduction --- CADE-11, 11th International Conference on Automated Deduction","bibtype":"proceedings","bibtex":"@proceedings{ cade92,\n title = {Automated Deduction --- CADE-11, 11th International Conference on Automated Deduction},\n booktitle = {Automated Deduction --- CADE-11, 11th International Conference on Automated Deduction},\n editor = {Deepak Kapur},\n publisher = {Springer-Verlag},\n series = {Lecture Notes in Artificial Intelligence},\n volume = {607},\n year = {1992},\n month = {June},\n address = {Saratoga Springs, New York},\n isbn = {3-540-55602-8},\n index = {CADE-11},\n uri = {http://www.springer.com/sgw/cda/frontpage/0,11855,5-0-22-1379329-0,00.html},\n uri = {http://www.informatik.uni-trier.de/~ley/db/conf/cade/cade92.html}\n}","address":"Saratoga Springs, New York"},"bibtype":"proceedings","biburl":"http://dret.net/biblio/dret.bib","creationDate":"2014-08-28T18:19:46.192Z","downloads":0,"keywords":[],"search_terms":["automated","deduction","cade","11th","international","conference","automated","deduction"],"title":"Automated Deduction --- CADE-11, 11th International Conference on Automated Deduction","year":1992,"dataSources":["mL7NKvaepNEWFcMvG"]}