Automated deduction cade 11 11th international conference on automated deduction saratoga springs ny usa june 15 18 1992 proceedings editors kapur deepak ed free preview. Automated deduction cade 11 11th international conference on automated deduction saratoga springs ny usa june 15 18 1992 proceedings lecture lecture notes in artificial intelligence 2009 02 22 unknown books amazonca. Automated deduction cade 11 11th international conference on automated deduction saratoga springs ny usa june 15 18 1992 proceedings this volume contains the papers presented at the eleventh international conference on automated deduction cade 11 held in saratoga springs ny injune 1992 a total of 136 papers were submitted for presentation by researchers from nearly 20 countries . Corpus id 61812049 automated deduction cade 11 11th international conference on automated deduction saratoga springs ny usa june 15 18 1992 proceedings. This volume contains the papers presented at the eleventh international conference on automated deduction cade 11 held in saratoga springs ny injune 1992 a total of 136 papers were submitted for presentation by researchers from nearly 20 countries papers covered many topics including resolution term rewriting natural deduction theorem proving in particular in algebra and geometry