Ricardo Caferra,Gernot Salzer: Automated Deduction in Classical and Non-Classical Logics: Selected Papers
____________________________
Author: Ricardo Caferra,Gernot Salzer
Number of Pages: 304 pages
Published Date: 01 Apr 2000
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Publication Country: Berlin, Germany
Language: English
ISBN: 9783540671909
Download Link: Click Here
____________________________