ENGLISH

Solving Higher-Order Equations: From Logic to Programming

By Christian Prehofer

Book information

Publisher
Birkhäuser
Year
1998
ISBN
0817640320, 9780817640323, 3764340320, 9783764340322
Language
english
Format
DJVU
Filesize
1 MB (1514008 bytes)
Series
Progress in Theoretical Computer Science
Pages
199\199
Topic
Mathematics Logic
Library
Kolxo3
DPI
600
Orientation
portrait
Paginated
no
Scanned
yes
Time added
2013-05-29 16:00:00

Similar books