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