Description - Symposium on Automatic Demonstration by M. Laudet

The title of this book is Symposium on Automatic Demonstration and is written by author M. Laudet. The book Symposium on Automatic Demonstration is published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG. The ISBN of this book is 9783540049142 and the format is Paperback / softback. The publisher has not provided a book description for Symposium on Automatic Demonstration by M. Laudet.