Automated Deduction In Equational Logic And Cubic Curves / (Record no. 36219)

MARC details
000 -LEADER
fixed length control field 00636nam a2200229Ia 4500
003 - CONTROL NUMBER IDENTIFIER
control field OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240919164704.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 240404s9999 xx 000 0 und d
040 ## - CATALOGING SOURCE
Transcribing agency eng
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.36028563
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 516.35
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name McCune, W.
245 #0 - TITLE STATEMENT
Title Automated Deduction In Equational Logic And Cubic Curves /
Statement of responsibility, etc. W. McCune, R. Padmanabhan
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Berlin:
Name of publisher, distributor, etc. Springer,
Date of publication, distribution, etc. 1996
300 ## - PHYSICAL DESCRIPTION
Extent 231 p.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Mathematical logic (Symbolic logic)
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Automatic theorem proving
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Algebraic geometry
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Padmanabhan, R.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Institution code [OBSOLETE] IMAR
Koha item type Carti
Source of classification or shelving scheme Dewey Decimal Classification
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Date acquired Source of acquisition Cost, normal purchase price Inventory number Full call number Barcode Date last seen Price effective from Koha item type
    Dewey Decimal Classification     IMAR IMAR 04/04/2024 Donatie 10.00 Mcd 34152 CSR-511.3-MCC 37925 04/04/2024 04/04/2024 Carti

Powered by Koha