Artificial Intelligence and Symbolic Mathematical Computation : (Record no. 383078)

000 -LEADER
fixed length control field 04981cam a2200721Mi 4500
001 - CONTROL NUMBER
control field ocn827360314
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20200626113848.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
019 ## -
-- 150397661
-- 793077672
-- 990748114
-- 1044584276
-- 1119461142
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
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
Encoding format PDF
Source rda
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
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer Science.
Source of heading or term hilcc
9 (RLIN) 941
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Engineering & Applied Sciences.
Source of heading or term hilcc
9 (RLIN) 9023
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) 48070
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/3-540-61732-9">https://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/3-540-61732-9</a>
994 ## -
-- 92
-- ATIST
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Permanent Location Current Location Date acquired Date last seen Price effective from Koha item type
  Not Lost     EBook e-Library e-Library 2020-06-26 2020-06-26 2020-06-26 eBook

Powered by Koha