LNCS 4533 - Term Rewriting and Applications (Frontmatter Pages)
Franz Baader
Term Rewriting and Applications
Έτος:
2009
Γλώσσα:
spanish
ISBN 10:
3540734473
ISBN 13:
9783540734475
Αρχείο:
AZW3 , 2.41 MB
IPFS:
,
spanish, 2009