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