Welcome to Central Library, SUST

Automated reasoning : (Record no. 60652)

MARC details
000 -LEADER
fixed length control field 01397nam a22003377a 4500
001 - CONTROL NUMBER
control field SulbI000545
003 - CONTROL NUMBER IDENTIFIER
control field BD-SySUS
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20160522162843.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 160522s2012 gw a b 101 0 eng d
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2012940337
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783642313646 (alk. paper)
International Standard Book Number 3642313647 (alk. paper)
Canceled/invalid ISBN 9783642313653 (e-ISBN)
040 ## - CATALOGING SOURCE
Original cataloging agency TXU
Language of cataloging eng
Transcribing agency TXU
Description conventions rda
Modifying agency BD-SySUS
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.36028563
Edition number 22
Item number AUT
245 00 - TITLE STATEMENT
Title Automated reasoning :
Remainder of title 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012 : proceedings /
Statement of responsibility, etc. Bernhard Gramlich, Dale Miller, Uli Sattler (eds.).
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. New york :
Name of publisher, distributor, etc. Springer,
Date of publication, distribution, etc. c2012.
300 ## - PHYSICAL DESCRIPTION
Extent xiv, 568 pages :
Other physical details illustrations ;
Dimensions 24 cm.
490 1# - SERIES STATEMENT
Series statement Lecture notes in computer science,
International Standard Serial Number 1611-3349 ;
Volume/sequential designation 7364.
Series statement Lecture notes in artificial intelligence
Series statement LNCS sublibrary. SL 7, Artificial intelligence
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and author index.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Automatic theorem proving
Form subdivision Congresses.
9 (RLIN) 24705
Topical term or geographic name as entry element Computer logic
Form subdivision Congresses.
9 (RLIN) 24540
Topical term or geographic name as entry element Automatic theorem proving.
Source of heading or term fast
9 (RLIN) 24706
Topical term or geographic name as entry element Computer logic.
Source of heading or term fast
9 (RLIN) 24541
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Conference papers and proceedings.
Source of term fast
9 (RLIN) 24707
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Gramlich, Bernhard,
Titles and other words associated with a name Dr.rer.nat.
9 (RLIN) 24708
Personal name Miller, Dale
Fuller form of name (Dale A.)
9 (RLIN) 24709
Personal name Sattler, Uli.
9 (RLIN) 24710
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Koha item type Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Shelving location Date acquired Total Checkouts Full call number Barcode Date last seen Copy number Price effective from
    Dewey Decimal Classification     Central Library, SUST Library, Institute of Information and Communication Technology General Stacks 22/05/2016   511.36028563 AUT I000545 22/05/2016 1 22/05/2016
    Dewey Decimal Classification     Central Library, SUST Library, Institute of Information and Communication Technology General Stacks 22/05/2016   511.36028563 AUT I000544 22/05/2016 2 22/05/2016
    Dewey Decimal Classification     Central Library, SUST Library, Institute of Information and Communication Technology General Stacks 22/05/2016   511.36028563 AUT I000543 22/05/2016 3 22/05/2016