Theorem proving in higher order logics : 17th international conference proceedings, TPHOLs, Park City, Utah, USA, Sept. 14-17, 2004 (Record no. 146357)

MARC details
000 -LEADER
fixed length control field 00806 a2200277 4500
001 - CONTROL NUMBER
control field 248237
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3-540-23017-3
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title eng
080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER
Universal Decimal Classification number 681.3:517.1The:17:04
245 ## - TITLE STATEMENT
Title Theorem proving in higher order logics : 17th international conference proceedings, TPHOLs, Park City, Utah, USA, Sept. 14-17, 2004
250 ## - EDITION STATEMENT
Edition statement
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Berlin
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Name of publisher, distributor, etc. Springer
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Date of publication, distribution, etc. 2004
300 ## - PHYSICAL DESCRIPTION
Extent viii,337 p.
300 ## - PHYSICAL DESCRIPTION
Dimensions 23 cm
490 ## - SERIES STATEMENT
Series statement Lecture notes in computer science ; v.3223
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element -
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer Science and Engineering
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Logic, Symbolic and mathematical-Congresses , Computer science-Congresses , Automatic theorem proving-Congresses
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name -
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Slind, Konrad
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Slind, Konrad
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Books
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Shelving location Date acquired Cost, normal purchase price Total Checkouts Full call number Barcode Date last seen Cost, replacement price Price effective from Koha item type
          Central Library, IITB Central Library, IITB Compact Storage - Basement Area 01/02/2018 2759.52   681.3:517.1The:17:04 204154 01/02/2018 48.00 01/02/2018 Books

Powered by Koha