LNCS 4533 - Term Rewriting and Applications (Frontmatter Pages)
Franz Baader
Term Rewriting and Applications
సంవత్సరం:
2009
భాష:
spanish
ISBN 10:
3540734473
ISBN 13:
9783540734475
ఫైల్:
MOBI , 2.39 MB
IPFS:
,
spanish, 2009