Yazar
Balder Ten Cate
3 cilt bulundu.
Cilt sonuçları
Generating Plans from Proofs
Michael Abraham Benedikt, Julien Leblay, Balder Ten Cate, Efthymia Tsamoura · Morgan & Claypool Publishers
Sayfa sayısı yok · 2016
Computer science / Data integration (Computer science) / Querying (Computer science) / Reformulation (Mathematical programming) / Data warehousing
Web Reasoning and Rule Systems
Balder ten Cate, Alessandra Mileo · Springer London, Limited
131 sayfa · 2015
Logic programming / Expert systems (computer science)