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 |