ISABELLE: A GENERIC THEOREM PROVER (Record no. 1803)

MARC details
000 -LEADER
fixed length control field nam a22 7a 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20180206123713.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 180206b xxu||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9783540582441
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title eng
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3028553
Item number LAW
100 ## - MAIN ENTRY--AUTHOR NAME
Personal name LAWRENCE C. PAULSON
245 ## - TITLE STATEMENT
Title ISABELLE: A GENERIC THEOREM PROVER
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication NEWYORK
Name of publisher SPRINGER
Year of publication 1994
300 ## - PHYSICAL DESCRIPTION
Number of Pages 321
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name TOBIAS NIPKOW
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Books
Holdings
Withdrawn status Lost status Damaged status Collection code Home library Current library Shelving location Date acquired Source of acquisition Purchase Price Bill number Full call number Accession Number Print Price Bill Date/Price effective from Koha item type
      Computer Science Indian Institute of Technology Tirupati Indian Institute of Technology Tirupati General Stacks 06/02/2018 The Book Syndicate 4699.82 BS/35253 511.3028553 LAW 04168 5529.41 25/01/2018 Books