on all orders of $59 or more
Generating Plans from Proofs
by Benedikt, Michael; Leblay, Julien; Cate, Balder Ten; et al.
ISBN: 9781627059541
Copyright:
Paperback
Logic, Language, and Computation : 6th ...
by Cate, Balder D. Ten; Zeevat, Henk W.
ISBN: 9783540751434