عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.1074
QA
76
.
L28
Vol
.
1074
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Higher-order algebra, logic, and term rewriting : second International Workshop, HOA'95, Paderborn, Germany, September 21-22, 1995 : selected papers
EDITION STATEMENT
Statement of Responsibility Relating to Edition
2nd: 1995: Paderborn, Germany
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
c1996
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
]v[, 287p.: ill
SERIES
Other Title Information
Lecture notes in computer science; 4701
GENERAL NOTES
Text of Note
Includes bibliographies
Text of Note
ISBN: 3540612548
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Gilles Dowek ... ]et al.[, )eds.(
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
Congresses ، Rewriting systems )Computer science(
Entry Element
Congresses ، Algebra
Entry Element
Congresses ، Logic, Symbolic and mathematical
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
L28
Vol
.
1074
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
AU Dowek, Gilles
TI
SE
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
Entry Element
International Workshop on Higher-Order Algebra, Logic, and Term Rewriting
