LNCS 4533 - Term Rewriting and Applications (Frontmatter Pages)
Franz Baader [Franz Baader]
Term Rewriting and Applications
Տարի:
2009
ISBN 10:
3540734473
ISBN 13:
9783540734475
Ֆայլ:
LIT , 2.01 MB
IPFS:
,
2009