Rewriting Techniques and Applications
19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings
Voronkov, Andrei.
creator
SpringerLink (Online service)
software, multimedia
xx
Berlin, Heidelberg
Springer-Verlag Berlin Heidelberg
2008
monographic
eng
v.: digital
edited by Andrei Voronkov.
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
QA267 V67 2008
Lecture Notes in Computer Science, 5117
Springer eBooks
9783540705901
http://dx.doi.org/10.1007/978-3-540-70590-1
http://dx.doi.org/10.1007/978-3-540-70590-1
100301
20201016191321.0