Non-standard logics for automated reasoning /
| Other Authors: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
London ; San Diego :
Academic Press,
1988.
|
| Subjects: | |
| Online Access: | Table of contents Table of contents Inhaltstext |
MARC
| Tag | First Indicator | Second Indicator | Subfields |
|---|---|---|---|
| LEADER | 00000cam a2200000 a 4500 | ||
| 001 | in00000025711 | ||
| 005 | 20240625165202.0 | ||
| 008 | 890216s1988 enka b 001 0 eng | ||
| 010 | |a 89114991 | ||
| 015 | |a GB8806221 |2 bnb | ||
| 019 | |a 17444081 |a 988529885 | ||
| 020 | |a 0126495203 | ||
| 020 | |a 9780126495201 | ||
| 029 | 1 | |a AU@ |b 000005708457 | |
| 029 | 1 | |a DEBSZ |b 014262584 | |
| 029 | 1 | |a GBVCP |b 025173898 | |
| 029 | 1 | |a GBVCP |b 114261903 | |
| 029 | 1 | |a HEBIS |b 009375341 | |
| 029 | 1 | |a NLGGC |b 043563341 | |
| 029 | 1 | |a NZ1 |b 3518404 | |
| 029 | 1 | |a YDXCP |b 60102 | |
| 035 | |a (OCoLC)ocm24175211 | ||
| 035 | |a (OCoLC)24175211 |z (OCoLC)17444081 |z (OCoLC)988529885 | ||
| 035 | |a (OCoLC)ocm24175211 | ||
| 040 | |a DLC |b eng |c DLC |d UKM |d MUQ |d NLGGC |d BAKER |d BTCTA |d YDXCP |d CLU |d HEBIS |d GBVCP |d OCLCO |d OCLCF |d DEBSZ |d OCLCQ |d MYUKM |d OCLCO |d TPA |d OCLCO |d OCLCQ |d OCLCO |d LENOT |d DHA |d OCLCA |d OCLCQ |d BUB |d OCLCQ |d UWO |d OCLCQ |d IL4J6 |d OCLCO |d OKS |d OCLCO |d OCLCL |d OCLCQ | ||
| 050 | 0 | 0 | |a QA9.4 |b .N65 1988 |
| 050 | 1 | 4 | |a BC135 |
| 082 | 0 | 0 | |a 511.3 |2 20 |
| 084 | |a 31.10 |2 bcl | ||
| 084 | |a *03-06 |2 msc | ||
| 084 | |a 00Bxx |2 msc | ||
| 084 | |a 03B45 |2 msc | ||
| 084 | |a 03B60 |2 msc | ||
| 084 | |a 68-06 |2 msc | ||
| 084 | |a 68T99 |2 msc | ||
| 245 | 0 | 0 | |a Non-standard logics for automated reasoning / |c edited by Philippe Smets [and others]. |
| 260 | |a London ; |a San Diego : |b Academic Press, |c 1988. | ||
| 300 | |a x, 334 pages : |b illustrations ; |c 24 cm | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a unmediated |b n |2 rdamedia | ||
| 338 | |a volume |b nc |2 rdacarrier | ||
| 504 | |a Includes bibliographical references and index. | ||
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 6 | |a Logique symbolique et mathématique. | |
| 650 | 7 | |a Logic, Symbolic and mathematical. |2 fast |0 (OCoLC)fst01002068 | |
| 650 | 7 | |a Künstliche Intelligenz |2 gnd | |
| 650 | 7 | |a Informatik |2 gnd | |
| 650 | 1 | 7 | |a Symbolische logica. |2 gtt |
| 650 | 7 | |a Artificial intelligence. |2 nli | |
| 650 | 7 | |a Logic, Symbolic and mathematical. |2 nli | |
| 653 | |a Mathematical logic | ||
| 700 | 1 | |a Smets, Philippe. | |
| 758 | |i has work: |a Non-standard logics for automated reasoning (Text) |1 https://id.oclc.org/worldcat/entity/E39PD3RTYpP66dHcYGMftvVpyd |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 856 | 4 | 1 | |3 Table of contents |u http://www.gbv.de/dms/hbz/toc/ht003161571.pdf |t 0 |
| 856 | 4 | 1 | |3 Table of contents |u http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1793094&custom_att_2=simple_viewer |t 0 |
| 856 | 4 | 2 | |3 Inhaltstext |u http://www.zentralblatt-math.org/zmath/en/search/?an=0669.03002 |t 0 |
| 938 | |a Baker & Taylor |b BKTY |c 49.95 |d 49.95 |i 0126495203 |n 0001398619 |s active | ||
| 938 | |a Baker and Taylor |b BTCP |n 89114991 | ||
| 938 | |a YBP Library Services |b YANK |n 60102 | ||
| 948 | |h HELD BY TXA - 249 OTHER HOLDINGS | ||
| 994 | |a Z0 |b TXA | ||
| 999 | f | f | |s fc379fc9-2a79-3f98-bf1d-276ae7028b1b |i 87dbf088-1124-33b9-bb0d-e7d3fcd6250c |t 0 |
| 952 | f | f | |p ric |a Texas A&M University |b Rellis Campus |c Joint Library Facility |d Remote Storage |t 0 |e BC135 .N66 1988 |h Library of Congress classification |i unmediated -- volume |m A14811521595 |
| 998 | f | f | |a BC135 .N66 1988 |t 0 |l Remote Storage |