Copyright ©2012 Glenn Fleishman. Send in your comments. Bibliographic information on isbn.nu licensed from Baker & Taylor. Contact them for corrections and licensing, or read more about our data.
Automated Deduction-Cade-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : Proceedings
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
none
from Springer Verlag (August 1, 2002)
9783540439318 | details & prices | 534 pages | 6.00 × 9.50 × 1.25 in. | 1.85 lbs | List price $119.00
About: This book constitutes the refereed proceedings of the 18th International Conference on Automated Deduction, CADE - 18, held in Copenhagen, Denmark, in July 2002.
About: This book constitutes the refereed proceedings of the 18th International Conference on Automated Deduction, CADE - 18, held in Copenhagen, Denmark, in July 2002.