Optimizing Proof Search by Machine Learning Techniques
Thomas Kolbe(Author)
Shaker (Publisher)
Published in 1997
Other
Undefined
194 pages
978-3-8265-2971-9 (ISBN)
More details
Series
Language
English
Illustrations
12 Abb.
Dimensions
Height: 20.5 cm
Width: 14.5 cm
Weight
291 gr
ISBN-13
978-3-8265-2971-9 (9783826529719)
Schweitzer Classification