Learning Search Control Knowledge for Equational Deduction

von Stephan Schulz

Taschenbuch

ISBN-13: 978-3-89838-230-4

ISBN-10: 3-89838-230-3

Akademische Verlagsgesellschaft AKA · 2000