Koha online catalog › ISBD view

Normal view MARC view ISBD view

Harrison, John.

Theorem proving with the real numbers / Textual Documents - London : Springer Verlag , 1998 - 404p ; - Distinguished dissertations, .

Subjects--Index Terms: Automatic theorem proving Proof theory

Dewey Class. No.: 511.3 / HAR

Place hold
Print
Add to your cart (remove)
Save record
More searches