Automated Deduction — CADE-11, 11th International Conference on Automated Deduction

Citation

Automated Deduction — CADE-11, 11th International Conference on Automated Deduction, Deepak Kapur (Ed.), Lecture Notes in Artificial Intelligence, Springer-Verlag, Saratoga Springs, New York, Lecture Notes in Artificial Intelligence, Vol. 607, June 1992, 3-540-55602-8.

Cross References

Resources

Google:	Search for `["Automated Deduction — CADE-11, 11th International Conference on Automated Deduction"]`
ISBN:	`3-540-55602-8`
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`

Bibliography Navigation: Reference List; Author Index; Title Index; Keyword Index

Generated by sharef2html on 2011-04-15, 02:00:41.