Cover Image
Read Now

1
Published 1987
Springer Berlin Heidelberg
“... of graph reduction to logic programming...”
Cover Image
Read Now

2
Published 1991
Springer Berlin Heidelberg
“... with proofs and types with propositions. The triangle category theory - logic - programming presents a rich...”