000  04981cam a2200721Mi 4500  

001  ocn827360314  
003  OCoLC  
005  20200626113848.0  
006  m o d  
007  cr nn008mamaa  
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/3540617329 _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  _aQ334342  
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, AISMC3 Steyr, Austria, September 2325, 1996 Proceedings / _cedited by Jacques Calmet, John A. Campbell, Jochen Pfalzgraf. 
260 
_aBerlin, Heidelberg : _bSpringerVerlag, _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, _x03029743 ; _v1138 

490  _aSerienbezeichnung  
520  _aThis book constitutes the refereed proceedings of the Third International Conference on Artificial Intelligence and Symbolic Mathematical Computation, AISMC3, 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 stateoftheart 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 twovalued logic based on the radical membership problem  Programming by demonstration: A machine learning approach to support skill acquision for robots  Knowledgebased 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 noncompatible rewriting  PATCH Graphs: An efficient data structure for completion of finitely presented groups  Measuring the likely effectiveness of strategies  A new approach on solving 3satisfiability  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 theoremproving in Horn theories with builtin 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(NLLeOCL)151715963 _w(OCoLC)898938160 

830  0 
_aLecture notes in computer science ; _v1138. _x03029743 _948070 

856  4  0  _uhttps://linkspringercom.libraryproxy.ist.ac.at/book/10.1007/3540617329 
994 
_a92 _bATIST 

999 
_c383078 _d383078 