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 |