Generic Inference : (Record no. 50020)

MARC details
000 -LEADER
fixed length control field 01235cam a2200385 i 4500
001 - CONTROL NUMBER
control field u125200
003 - CONTROL NUMBER IDENTIFIER
control field SIRSI
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240619150643.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 101008t20112011nju b 001 0 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780470527016
Qualifying information (hardback)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781118010877
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781118010846
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781118010860
040 ## - CATALOGING SOURCE
Language of cataloging eng
Description conventions rda
Modifying agency SFPAGOH
050 14 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA162
Item number .P68 2011
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Pouly, Marc. ,
Relator term author
9 (RLIN) 40343
245 10 - TITLE STATEMENT
Title Generic Inference :
Remainder of title a unifying theory for automated reasoning /
Statement of responsibility, etc. Marc Pouly, Jurg Kohlas.
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture Hoboken, NJ :
Name of producer, publisher, distributor, manufacturer Wiley,
Date of production, publication, distribution, manufacture, or copyright notice 2011.
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Date of production, publication, distribution, manufacture, or copyright notice ©2011
300 ## - PHYSICAL DESCRIPTION
Extent xxxi, 452 pages ;
Dimensions 25 cm.
336 ## - CONTENT TYPE
Content type term text
Content type code txt
Source rdacontent
337 ## - MEDIA TYPE
Media type term unmediated
Media type code n
Source rdamedia
338 ## - CARRIER TYPE
Carrier type term volume
Carrier type code nc
Source rdacarrier
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note includes index and bibliographical reference
596 ## -
-- 1 4
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Valuation theory.
9 (RLIN) 40344
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Algorithms.
9 (RLIN) 2934
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Algebra, Abstract.
9 (RLIN) 2370
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Kohlas, Jurg.
9 (RLIN) 40345
Relator term author
907 ## - LOCAL DATA ELEMENT G, LDG (RLIN)
a .b10586921
b 28-10-21
c 06-04-21
998 ## - LOCAL CONTROL INFORMATION (RLIN)
-- m
Operator's initials, OID (RLIN) 08-10-10
Cataloger's initials, CIN (RLIN) m
First date, FD (RLIN) a
-- -
-- eng
-- nju
-- 0
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Shelving location Date acquired Total checkouts Full call number Barcode Date last seen Price effective from Koha item type
        PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH Main Library General 18/06/2024   QA162 .P68 2011 1000272571 18/06/2024 18/06/2024 Books - Printed

Powered by Koha