عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.1074
QA
76
.
L28
Vol
.
1074
کتابخانه
محل استقرار
Higher-order algebra, logic, and term rewriting : second International Workshop, HOA'95, Paderborn, Germany, September 21-22, 1995 : selected papers
2nd: 1995: Paderborn, Germany
Berlin
Springer-Verlag
c1996
]v[, 287p.: ill
Lecture notes in computer science; 4701
Includes bibliographies
ISBN: 3540612548
Gilles Dowek ... ]et al.[, )eds.(
1
Congresses ، Rewriting systems )Computer science(
Congresses ، Algebra
Congresses ، Logic, Symbolic and mathematical
QA
76
.
L28
Vol
.
1074
AU
AU Dowek, Gilles
TI
SE
International Workshop on Higher-Order Algebra, Logic, and Term Rewriting
