david j. (professor of logic computation, university of bath and royal society industry fellow, hewlett packard laboratories, bristol) pym author - Books - 24x7 online bookstore Bookswagon.ae
BooksWagon Icon
Logo1
Login & Sign up
AddBanner
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
humburger icon Categories
Close

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

1 results found
List viewGrid view
Sort By:
1.
Reductive Logic and Proof-Search
Reductive Logic and Proof-Search
By: Eike Ritter, David J Pym, David J. (Professor of Logic & Computation, University of Bath and Royal Society Industry Fellow, Hewlett-Packard Laboratories, Bristol) Pym, Eike (Lecturer in Computer Science, University of Birmingham) Ritter, David J. (, Professor of Logic & Computation, University of Bath and Royal Society Industry Fellow, Hewlett-Packard Laboratories, Bristol) Pym
Publisher: OUP Oxford
No Review Yet
AED518
Binding:
Hardback
Release:
17 Jun 2004
Language:
English
Available
Ships within 1-2 Days Explain..
No more records found