Books by Voronkov, Andrei — EbookNetworking.net

EbookNetworking 🔍 Search Books

📄 Lite AMP versionFull site ›

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Programming Logics: Essays in Memory of Harald Ganzinger (Volume 7797)
Voronkov, Andrei
Springer
85.80
View Details ›
Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings (Lecture Notes in Computer Science, 5117)
Voronkov, Andrei
Springer
View Details ›