Learning Search Control Knowledge for Equational Deduction
Stephan Schulz(Author)
Akademische Verlagsgesellschaft AKA
Published in 2000
Book
Paperback/Softback
XIV, 182 pages
978-3-89838-230-4 (ISBN)
More details
Series
Language
English
Dimensions
Height: 21 cm
Width: 14.8 cm
ISBN-13
978-3-89838-230-4 (9783898382304)
Schweitzer Classification