![Automated theorem proving / International Conference on Rewriting Techniques and Applications / Formal languages / Logic in computer science / Formal methods / Logic programming / Rewriting / Hagenberg im Mühlkreis / Bruno Buchberger / Theoretical computer science / Mathematics / Applied mathematics Automated theorem proving / International Conference on Rewriting Techniques and Applications / Formal languages / Logic in computer science / Formal methods / Logic programming / Rewriting / Hagenberg im Mühlkreis / Bruno Buchberger / Theoretical computer science / Mathematics / Applied mathematics](https://www.pdfsearch.io/img/a04bbcab23fe85b3631428537ebbbbe2.jpg) Date: 2008-05-21 04:32:19Automated theorem proving International Conference on Rewriting Techniques and Applications Formal languages Logic in computer science Formal methods Logic programming Rewriting Hagenberg im Mühlkreis Bruno Buchberger Theoretical computer science Mathematics Applied mathematics | | RTA 2008 19th International Conference on Rewriting Techniques and Applications July 15-17, 2008, Hagenberg, Austria The 19th International Conference on Rewriting Techniques and Applications (RTA[removed]is organised as pAdd to Reading ListSource URL: rewriting.loria.frDownload Document from Source Website File Size: 53,49 KBShare Document on Facebook
|