Automated Deduction, Cade-15:
15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 Proceedings

by H. Kirchner, Claude Kirchner, International Conference on Automated Deduction 1998 Lindau Bavaria

ISBN3540646752 / 9783540646754 / 3-540-64675-2
PublisherSpringer Verlag
CountryGermany
LanguageEnglish
EditionSoftcover
List price$93.00
Buying Options

Found a mistake in this data?