عنوان
پدید آورنده
موضوع
رده
QA267 .I555 1989
QA267
.
I555
1989
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0387510818 (U.S. : alk. paper)
(Number (ISBN
3540510818 ((Berlin ...) kart.)
(Number (ISBN
9780387510811 (U.S. : alk. paper)
(Number (ISBN
9783540510819 ((Berlin ...) kart.)
Erroneous ISBN
0387810818 (U.S.)
NATIONAL BIBLIOGRAPHY NUMBER
Number
dltt
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Rewriting techniques and applications :
General Material Designation
[Book]
Other Title Information
3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings /
First Statement of Responsibility
N. Dershowitz, ed.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer-Verlag,
Date of Publication, Distribution, etc.
c1989.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
vii, 578 p. :
Other Physical Details
ill. ;
Dimensions
25 cm.
SERIES
Series Title
Lecture notes in computer science ;
Volume Designation
355.
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references.
SUMMARY OR ABSTRACT
Text of Note
"Rewriting has always played an important role in symbolic manipulation and automated deduction systems. The theory of rewriting is an outgrowth of Combinatory Logic and the Lambda Calculus. Applications cover broad areas in automated reasoning, programming language design, semantics, and implementations, and symbolic and algebraic manipulation. The proceedings of the third International Conference on Rewriting Techniques and Applications contain 34 regular papers, covering many diverse aspects of rewriting (including equational logic, decidability questions, term rewriting, congruence-class rewriting, string rewriting, conditional rewriting, graph rewriting, functional and logic programming languages, lazy and parallel implementations, termination issues, compilation techniques, completion procedures, unification and matching algorithms, deductive and inductive theorem proving, Gröbner bases, and program synthesis). It also contains 12 descriptions of implemented equational reasoning systems. Anyone interested in the latest advances in this fast growing area should read this volume."--Publisher's web site.
OTHER EDITION IN ANOTHER MEDIUM
Title
Rewriting techniques and applications.
TOPICAL NAME USED AS SUBJECT
Computer algorithms-- Congresses.
Computer programming-- Congresses.
Rewriting systems (Computer science)-- Congresses.
DEWEY DECIMAL CLASSIFICATION
Number
511
.
3
Edition
20
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA267
Book number
.
I555
1989
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Dershowitz, Nachum.
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
International Conference on Rewriting Techniques and Applications(3rd :1989 :, Chapel Hill, N.C.)
ORIGINATING SOURCE
Date of Transaction
20140613193643.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
