Paperback Book
显示无货商品

Peter Padawitz的作品

Cover for Peter Padawitz · Computing in Horn Clause Theories - Monographs in Theoretical Computer Science. An EATCS Series (Paperback Book) [Softcover reprint of the original 1st ed. 1988 edition] (2011)

Softcover reprint of the original 1st ed. 1988 edition

Computing in Horn Clause Theorie... (2011)

Cover for Peter Padawitz · Deductive and Declarative Programming - Cambridge Tracts in Theoretical Computer Science (Paperback Book) (2006)

Deductive and Declarative Progra... (2006)