Article

Higher-Order and Symbolic Computation

, Volume 18, Issue 1, pp 13-13

First online:

An Appreciation of Bob Paige

  • Martin DavisAffiliated withDepartment of Computer Science, Courant Institute, New York University Email author 

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access