“From Standard Logic to Logic Programming: Introducing a Logic-based Approach to Artificial Intelligence” has been added to your cart. View cart
“Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990” has been added to your cart. View cart
Showing 1057–1080 of 1458 results
- Geoffrey Grimmett; Dominic Welsh
- Marcel Berger; P. Pansu; J. -P Berry
- J.D. Dollard; Charles N. Friedman
- Edited By Peter Aczel; Harold Simmons; Stanley Wainer
- Edited By Francois Treves