ISBNdb.com Home | Categories | Subjects | Authors | Publishers | Your Account (A)
ISBN or Keywords:
Author Summary
Author Books
Authors Search
Recently Added
Iman Hafiz Poernomo
(Iman Poernomo)

Bibliography of Iman Hafiz Poernomo, by subject:

The number after the subject (topic or theme) tells how many books on this subject the author has. Please click on the subject to see books. Alternatively, you can see the alphabetically ordered bibliography of Iman Hafiz Poernomo.

•  Curry-Howard isomorphism (2)
•  Proof theory (2)
•  Functional programming (Computer science) (2)
•  Lambda calculus (2)
•  Logic, Symbolic and mathematical (2)
•  Abstract data types (Computer science) (2)
•  Professional & Technical -- Professional Science -- Mathematics -- Pure Mathematics -- Logic (1)
•  Computers & Internet -- Programming -- Software Design, Testing & Engineering -- Logic (1)
•  Science -- Mathematics -- Pure Mathematics -- Logic (1)
•  Computers & Internet -- Programming -- Software Design, Testing & Engineering -- Software Development (1)
•  Computers & Internet -- Computer Science -- Software Engineering -- General (1)


Copyright © 2002-2009 ISBNdb.com FAQ | Privacy Policy | Contact ISBNdb.com