MARC details
| 000 -LEADER |
|---|
| fixed length control field |
04961cam a2200709Mi 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn827360314 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20220128092743.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr nn|008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
100729s1996 gw ob 001 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
KIJ |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
KIJ |
| Modifying agency |
OCLCO |
| -- |
SINTU |
| -- |
GW5XE |
| -- |
OCLCF |
| -- |
ITD |
| -- |
OCLCO |
| -- |
HDC |
| -- |
NLGGC |
| -- |
VT2 |
| -- |
OCLCQ |
| -- |
LIP |
| -- |
UAB |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
CEF |
| -- |
TFW |
| -- |
AU@ |
| -- |
LEAUB |
| -- |
OCLCQ |
| -- |
HS0 |
| -- |
EUX |
| -- |
OCLCQ |
| -- |
OCLCO |
| 019 ## - |
|---|
| -- |
150397661 |
| -- |
793077672 |
| -- |
990748114 |
| -- |
1044584276 |
| -- |
1119461142 |
| -- |
1162791301 |
| -- |
1238317353 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540707400 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540707409 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540617329 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540617327 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783540617327 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/3-540-61732-9 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000051690658 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000057850431 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NLGGC |
| System control number |
296867365 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
14997492 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
15494544 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)827360314 |
| Canceled/invalid control number |
(OCoLC)150397661 |
| -- |
(OCoLC)793077672 |
| -- |
(OCoLC)990748114 |
| -- |
(OCoLC)1044584276 |
| -- |
(OCoLC)1119461142 |
| -- |
(OCoLC)1162791301 |
| -- |
(OCoLC)1238317353 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
Q334-342 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYQ |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
TJFM1 |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM004000 |
| Source |
bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
006.3 |
| Edition number |
23 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 245 00 - TITLE STATEMENT |
|---|
| Title |
Artificial Intelligence and Symbolic Mathematical Computation : |
| Remainder of title |
International Conference, AISMC-3 Steyr, Austria, September 23-25, 1996 Proceedings / |
| Statement of responsibility, etc. |
edited by Jacques Calmet, John A. Campbell, Jochen Pfalzgraf. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin, Heidelberg : |
| Name of publisher, distributor, etc. |
Springer-Verlag, |
| Date of publication, distribution, etc. |
1996. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource : |
| Other physical details |
v.: digital |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
text file |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| Encoding format |
PDF |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture Notes in Computer Science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume/sequential designation |
1138 |
| 490 ## - SERIES STATEMENT |
|---|
| Series statement |
Serienbezeichnung |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book constitutes the refereed proceedings of the Third International Conference on Artificial Intelligence and Symbolic Mathematical Computation, AISMC-3, held in Steyr, Austria, in September 1996. The 19 revised full papers presented in the book were carefully selected by the program committee; also included are four invited survey and state-of-the-art contributions by Scott, Dillmann and Friedrich, Cohn, and Wang. Among the topics addressed are theorem proving, rewriting systems, symbolic computation, spatial reasoning, computational geometry, and automated deduction. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Symbolic computation and teaching -- Analytica -- An experiment in combining theorem proving and symbolic computation -- Document recognition, semantics, and symbolic reasoning in reverse engineering of software -- Compromised updates in labelled databases -- An inference engine for propositional two-valued logic based on the radical membership problem -- Programming by demonstration: A machine learning approach to support skill acquision for robots -- Knowledge-based information processing in manufacturing cells -- The present and the future -- Calculi for qualitative spatial reasoning -- Combining local consistency, symbolic rewriting and interval methods -- Proof transformation for non-compatible rewriting -- PATCH Graphs: An efficient data structure for completion of finitely presented groups -- Measuring the likely effectiveness of strategies -- A new approach on solving 3-satisfiability -- Geometry machines: From AI to SMC -- Interactive Theorem Proving and finite projective planes -- Towards modelling the topology of homogeneous manifolds by means of symbolic computation -- Solving geometrical constraint systems using CLP based on linear constraint solver -- Towards a sheaf semantics for cooperating agents scenarios -- Data types in subdefinite models -- On theorem-proving in Horn theories with built-in algebras -- Backward reasoning in systems with cut -- Soundness and completeness versus lifting property -- Reasoning with preorders and dynamic sorts using free variable tableaux. |
| 546 ## - LANGUAGE NOTE |
|---|
| Language note |
English. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer science. |
| 9 (RLIN) |
941 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Algebra |
| General subdivision |
Data processing. |
| 9 (RLIN) |
14650 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Artificial intelligence. |
| 9 (RLIN) |
1340 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Algorithms. |
| 9 (RLIN) |
864 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Algebra |
| General subdivision |
Data processing. |
| Source of heading or term |
fast |
| Authority record control number |
(OCoLC)fst00804890 |
| 9 (RLIN) |
14650 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Algorithms. |
| Source of heading or term |
fast |
| Authority record control number |
(OCoLC)fst00805020 |
| 9 (RLIN) |
864 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Artificial intelligence. |
| Source of heading or term |
fast |
| Authority record control number |
(OCoLC)fst00817247 |
| 9 (RLIN) |
1340 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer science. |
| Source of heading or term |
fast |
| Authority record control number |
(OCoLC)fst00872451 |
| 9 (RLIN) |
941 |
| 655 #4 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Electronic books. |
| 9 (RLIN) |
396 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Calmet, Jacques. |
| 9 (RLIN) |
16412 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Campbell, John A. |
| 9 (RLIN) |
47634 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Pfalzgraf, Jochen. |
| 9 (RLIN) |
48069 |
| 776 0# - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Title |
Artificial intelligence and symbolic mathematical computation |
| Record control number |
(NL-LeOCL)151715963 |
| -- |
(OCoLC)898938160 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
1138. |
| International Standard Serial Number |
0302-9743 |
| 9 (RLIN) |
936801 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link-springer-com.libraryproxy.ist.ac.at/10.1007/3-540-61732-9">https://link-springer-com.libraryproxy.ist.ac.at/10.1007/3-540-61732-9</a> |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |