Rewriting Techniques and Applications [electronic resource] : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings / edited by Andrei Voronkov.

By: Voronkov, AndreiContributor(s): SpringerLink (Online service)Material type: Computer fileComputer fileSeries: Lecture Notes in Computer Science, 5117Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Description: v.: digitalISBN: 9783540705901Subject(s): 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 ManipulationLOC classification: QA267 | V67 2008Online resources: Click here to access online In: Springer eBooks
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Call number URL Copy number Status Notes Date due Barcode
Libro Electrónico Libro Electrónico Biblioteca Digital
Responsable: Alejandra Vargas Mejía
Colección Digital
QA267 V67 2008 (Browse shelf) Link to resource 1 Available SpringerLink BDIG00008693

There are no comments on this title.

to post a comment.

Powered by Koha