Normal view MARC view ISBD view

Rewriting Techniques and Applications

Voronkov, Andrei.

Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings / [electronic resource] : edited by Andrei Voronkov. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008. - v.: digital - Lecture Notes in Computer Science, 5117 0302-9743 .

ISBN: 9783540705901

Subjects--Topical Terms:
Computer science
Logic design
Algebra--Data processing
Artificial intelligence
Computer Science
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Artificial Intelligence (incl. Robotics)
Symbolic and Algebraic Manipulation

LC Class. No.: QA267 / V67 2008

Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)