For Publishers
All
Subject
Title
Author
Publisher
Series Title
All
Subject
Title
Author
Publisher
Series Title
Page Top
Solving Higher-Order Equations
From Logic to Programming
Solving Higher-Order Equations
(
)
Author:
Prehofer, Christian
Series title:
Progress in Theoretical Computer Science Ser.
ISBN:
978-3-7643-4032-2
Publication Date:
Dec 1997
Publisher:
Birkhäuser Boston
Book Format:
Hardback
List Price:
Contact Supplier contact
Buy Now
Book Details
Pages:
186
Detailed Subjects:
Mathematics / Logic
Related Books
View more
Object Oriented P...
Castagna, Giuseppe
Hardback:
Logic of Domains
Zhang, G. Q.
Hardback:
$109.99
Semantics of Type...
Streicher, Thomas
Paperback:
$99.99
Neural Networks a...
Siegelmann, Hava T.
Paperback:
$169.99
Featured Books
Table for Two
Towles, Amor
Hardback:
$32.00
After Annie
Quindlen, Anna
Hardback:
$30.00
Reading Genesis
Robinson, Marilynne
Hardback:
$29.00
View more Featured Books
Rate this title:
Select your rating below then click 'submit'.
Rating value is required.
I do not wish to rate this title.