Automatisierung von Terminierungsbeweisen
Christoph Walther (auth.), Wolfgang Bibel (eds.)Categories:
Year:
1991
Edition:
1
Publisher:
Vieweg+Teubner Verlag
Language:
german
Pages:
253
ISBN 10:
3528047712
ISBN 13:
9783528047719
Series:
Artificial Intelligence / Künstliche Intelligenz
File:
PDF, 10.28 MB
IPFS:
,
german, 1991
This book isn't available for download due to the complaint of the copyright holder