For Publishers

All
Subject
Title
Author
Publisher
Series Title

Solving Higher-Order Equations

From Logic to Programming

(

)

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

Book Details

Pages:	186
Detailed Subjects:	Mathematics / Logic

Related Books

View more

Semantics of Type Theory - a book by Streicher, Thomas

Neural Networks and Analog Computation - a book by Siegelmann, Hava T.

Object Oriented Programming - a book by Castagna, Giuseppe

Comparative Metric Semantics of Programming Languages - a book by Breughel, Franck van

Featured Books

View more Featured Books

Rate this title:

Select your rating below then click 'submit'.

I do not wish to rate this title.