عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.816
QA
76
.
L28
Vol
.
816
کتابخانه
محل استقرار
Higher-order algebra, logic, and term rewriting : first International Workshop, HOA'93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers
1st: 1993: Amsterdam, The Netherlands
Berlin
Springer-Verlag
c1994
344p.: ill
Lecture notes in computer science; 618
Includes bibliographies
ISBN: 3540582339
Jan Heering...]et al.[, eds
1
Congresses ، Rewriting systems )Computer science(
Congresses ، Algebra
Congresses ، Logic, Symbolic and mathematical
QA
76
.
L28
Vol
.
816
AU
AU Heering, Jan
TI
SE
International Workshop on Higher-Order Algebra, Logic, and Term Rewriting
