Yazar
balder d ten cate
2 cilt bulundu.
Cilt sonuçları
Generating Plans from Proofs
Michael Benedikt, Julien Leblay, Balder ten Cate, Efthymia Tsamoura · Morgan & Claypool Publishers
207 sayfa · 2016-03-15
Computers
Logic, Language, and Computation
Balder D. ten Cate, Henk W. Zeevat · Springer Science & Business Media
292 sayfa · 2007-09-17
Philosophy