This image is currently not available.

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)
€37.00incl. 7% vat
Article not available

More details

Persons