Logic, Rewriting, and Concurrency Narciso Martí-Oliet, Peter Csaba Ölveczky & Carolyn Talcott의 도서 더 보기

Rewriting Logic and Its Applications

2024년

All About Maude - A High-Performance Logical Framework

2007년