000 04981cam a2200721Mi 4500
001 ocn827360314
003 OCoLC
005 20200626113848.0
006 m o d
007 cr nn|008mamaa
008 100729s1996 gw ob 001 0 eng d
040 _aKIJ
_beng
_epn
_cKIJ
_dOCLCO
_dSINTU
_dGW5XE
_dOCLCF
_dITD
_dOCLCO
_dHDC
_dNLGGC
_dVT2
_dOCLCQ
_dLIP
_dUAB
_dESU
_dOCLCQ
_dCEF
_dTFW
_dAU@
_dLEAUB
_dOCLCQ
_dHS0
019 _a150397661
_a793077672
_a990748114
_a1044584276
_a1119461142
020 _a9783540707400
_q(electronic bk.)
020 _a3540707409
_q(electronic bk.)
020 _a3540617329
020 _a9783540617327
020 _z9783540617327
024 7 _a10.1007/3-540-61732-9
_2doi
029 1 _aAU@
_b000051690658
029 1 _aAU@
_b000057850431
029 1 _aNLGGC
_b296867365
029 1 _aNZ1
_b14997492
029 1 _aNZ1
_b15494544
035 _a(OCoLC)827360314
_z(OCoLC)150397661
_z(OCoLC)793077672
_z(OCoLC)990748114
_z(OCoLC)1044584276
_z(OCoLC)1119461142
050 4 _aQ334-342
072 7 _aUYQ
_2bicssc
072 7 _aTJFM1
_2bicssc
072 7 _aCOM004000
_2bisacsh
082 0 4 _a006.3
_223
049 _aMAIN
245 0 0 _aArtificial Intelligence and Symbolic Mathematical Computation :
_bInternational Conference, AISMC-3 Steyr, Austria, September 23-25, 1996 Proceedings /
_cedited by Jacques Calmet, John A. Campbell, Jochen Pfalzgraf.
260 _aBerlin, Heidelberg :
_bSpringer-Verlag,
_c1996.
300 _a1 online resource :
_bv.: digital
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v1138
490 _aSerienbezeichnung
520 _aThis 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 _aSymbolic 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 _aEnglish.
504 _aIncludes bibliographical references and index.
650 0 _aComputer science.
_9941
650 0 _aAlgebra
_xData processing.
_914650
650 0 _aArtificial intelligence.
_91340
650 0 _aAlgorithms.
_9864
650 7 _aAlgebra
_xData processing.
_2fast
_0(OCoLC)fst00804890
_914650
650 7 _aAlgorithms.
_2fast
_0(OCoLC)fst00805020
_9864
650 7 _aArtificial intelligence.
_2fast
_0(OCoLC)fst00817247
_91340
650 7 _aComputer science.
_2fast
_0(OCoLC)fst00872451
_9941
650 7 _aComputer Science.
_2hilcc
_9941
650 7 _aEngineering & Applied Sciences.
_2hilcc
_99023
655 4 _aElectronic books.
_9396
700 1 _aCalmet, Jacques.
_916412
700 1 _aCampbell, John A.
_947634
700 1 _aPfalzgraf, Jochen.
_948069
776 0 _tArtificial intelligence and symbolic mathematical computation
_w(NL-LeOCL)151715963
_w(OCoLC)898938160
830 0 _aLecture notes in computer science ;
_v1138.
_x0302-9743
_948070
856 4 0 _uhttps://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/3-540-61732-9
994 _a92
_bATIST
999 _c383078
_d383078