Koha online

Your cart is empty.
Vidyasyahadri ...

Theorem proving with the real numbers / (Record no. 643)

000 -LEADER
fixed length control field 00495nam a2200181Ia 4500
001 - CONTROL NUMBER
control field 651
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 181215s9999||||xx |||||||||||||| ||und||
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title Eng
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
Item number HAR
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Harrison, John.
245 ## - TITLE STATEMENT
Title Theorem proving with the real numbers /
Medium Textual Documents
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc London :
Name of publisher, distributor, etc Springer Verlag ,
Date of publication, distribution, etc 1998
300 ## - PHYSICAL DESCRIPTION
Extent 404p ;
440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Distinguished dissertations,
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Automatic theorem proving
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Proof theory
Holdings
Withdrawn status Lost status Damaged status Not for loan Permanent Location Current Location Date acquired Full call number Barcode Date last seen Price effective from Koha item type
        Kuvempu University Library Kuvempu University Library 2018-12-16 511.3 43435 2018-12-16 2018-12-16 Books

Powered by Koha