عنوان
پدید آورنده
موضوع
رده
Qa 267 .C5933 1988
Qa
267
.
C5933
1988
کتابخانه
محل استقرار
NATIONAL BIBLIOGRAPHY NUMBER
Number
02BL0000000002016
Number
02BL0000000002608
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Conditional term rewriting systems third international workshop-CTRs-92 pont-a Mousson,France,July 1992 proceedings
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer-verlag
Date of Publication, Distribution, etc.
1988
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
Vi,278P.:illu
Other Physical Details
1 , 2608,2016 , 2-2
SERIES
Series Title
lecture notes in computer sciences;308
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
bibliography
TOPICAL NAME USED AS SUBJECT
Entry Element
Rewriying systems -congresses
Entry Element
Rusinowitch,M.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
Qa
Book number
267
Classification Record Number
.
C5933
1988
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Conditional term rewriting systems third international workshop-CTRs-92 pont-a Mousson,France,July 1992 proceedings
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Entry Element
edited by S.Kaplan,J.P.Jouannavd,ed
PERSONAL NAME - SECONDARY RESPONSIBILITY
Relator Code
AU
Entry Element
Remy J.l,editors
