Automated Deduction: A Basis for Applications, Vol. 3: Applications (Applied Logic Series) (v. 1)

Automated

by: Wolfgang Bibel · P.H. Schmitt

Paperback

details (USA).

ISBN: 978-0-7923-5131-3

ISBN-10: 0-7923-5131-2

Springer · 1998