Web Reasoning and Rule Systems: 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.: 9209 (Lecture Notes in Computer Science)
by Balder ten Cate,Alessandra Mileo
ISBN 13: 9783319220017
Format: Paperback (152 pages) Publisher: Springer Published: 10 Jul 2015
Save for later
Generating Plans from Proofs (Synthesis Lectures on Data Management)
by Michael Benedikt, Julien Leblay, Balder ten Cate, Efthymia Tsamoura
ISBN 13: 9783031007286
Format: Paperback (204 pages) Publisher: Springer Published: 15 Mar 2016