Logic, Language, Information, and Computation Helle Hvid Hansen, Andre Scedrov & Ruy J.G.B. de Queiroz의 도서 더 보기

Coalgebraic Methods in Computer Science

2022년

Logic, Language, and Computation

2017년