Term rewriting and applications : 18th international conference, RTA 2007 : Paris, France, June 26-28, 2007 : proceedings. : 18th international conference on rewriting techniques and applications : federated conference on rewriting, deduction, and programming (RDP) : Jun 2007, Paris, France. (Lecture Notes in Computer Science ; 4533)

Term rewriting and applications : 18th international conference, RTA 2007 : Paris, France, June 26-28, 2007 : proceedings. : 18th international conference on rewriting techniques and applications : federated conference on rewriting, deduction, and programming (RDP) : Jun 2007, Paris, France.

(Lecture Notes in Computer Science ; 4533)

Call No. (NDL): M17-07-2341
Bibliographic ID of National Diet Library: 000009042774

Material type: 図書

Author: Baader, Franz.ほか

Publisher: Springer

Publication date: c2007.

Material Format: Paper

Capacity, size, etc.: xii, 418 p. : ill. ; 24 cm.

NDC: -

Notes on use

Note (General)：: Abstracts and papers.

Search by Bookstore

Search by Bookstore

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 3540734473
9783540734475 (ISBN-13)
ISSN (series): 0302-9743
Title: Term rewriting and applications : 18th international conference, RTA 2007 : Paris, France, June 26-28, 2007 : proceedings. : 18th international conference on rewriting techniques and applications : federated conference on rewriting, deduction, and programming (RDP) : Jun 2007, Paris, France.
Series Title: Lecture Notes in Computer Science ; 4533
Author Heading: Baader, Franz.
International Conference on Rewriting Techniques and Applications (18th : 2007 : Paris, France)
Publication, Distribution, etc.: Berlin : Springer
New York : Springer
Publication Date: c2007.
Publication Date (W3CDTF): 2007
Extent: xii, 418 p. : ill. ; 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Rewriting systems (Computer science) -- Congresses.
Computer programming -- Congresses.
Algorithms -- Congresses.
LCC: QA267
NDLC: M17
Note (General): Abstracts and papers.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-07-2341
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000009042774
http://id.ndl.go.jp/bib/000009042774
LC Control Number: 2007929743
https://lccn.loc.gov/2007929743
OCLC No.: 164740604
https://www.worldcat.org/oclc/164740604
Bibliographic Record Category (NDL): 215