Logic for Computer Science
Foundations of Automatic Theorem Proving, Second Edition
Will be published approx. on 26. June 2015
Book
Paperback/Softback
544 pages
978-0-486-78082-5 (ISBN)
More details
Series
Language
English
Place of publication
New York
United States
Target group
College/higher education
Dimensions
Height: 235 mm
Width: 21 mm
Thickness: 158 mm
Weight
748 gr
ISBN-13
978-0-486-78082-5 (9780486780825)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification