Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007478320/catalog> ?p ?o. }
Showing items 1 to 31 of
31
with 100 items per page.
- catalog abstract "Spine title: AISMC-3 : artificial intelligence and symbolic mathematical computation.".
- catalog contributor b10326504.
- catalog contributor b10326505.
- catalog contributor b10326506.
- catalog contributor b10326507.
- catalog created "c1996.".
- catalog date "1996".
- catalog date "c1996.".
- catalog dateCopyrighted "c1996.".
- catalog description "Backward reasoning in systems with cut / E. Eder -- Soundness and completeness versus lifting property / J.A. Plaza -- Reasoning with preorders and dynamic sorts using free variable tableaux / A. Gavilanes [and others].".
- catalog description "Includes bibliographical references and index.".
- catalog description "Proof transformation for non-compatible rewriting / R. Bündgen -- PATCH graphs : an efficient data structure for completion of finitely presented groups / C. Lynch, P. Strogova -- Measuring the likely effectiveness of strategies / B.J. Dupée -- A new approach on solving 3-satisfiability / R. Rodošek -- Geometry machines : from aritifical intelligence to symbolic mathematical computation (invited lecture) / D. Wang -- Interactive theorem proving and finite projective planes / J. Ueberberg -- Towards modelling the topology of homogeneous manifolds by means of symbolic computation / M. Joswig -- Solving geometrical constraint systems using CLP based on linear constraint solver / D. Bouhineau -- Towards a sheaf semantics for cooperating agents scenarios / V. Sofronie -- Data types in subdefinite models / V. Telerman, D. Ushakov -- On theorem-proving in Horn theories with built-in algebras / N. Andrianarivelo, W. Bousdira, J.-M. Talbot -- ".
- catalog description "Spine title: AISMC-3 : artificial intelligence and symbolic mathematical computation.".
- catalog description "Symbolic computation and teaching (invited lecture) D.S. Scott -- Analytica : an experiment in combining theorem proving and symbolic computation / A. Bauer, E. Clarke, X. Zhao -- Document recognition, semantics, and symbolic reasoning in reverse engineering of software / G. Butler [and others] -- Compromised updates in labelled databases / F.C.C. Dargam -- An inference engine for propositional two-valued logic based on the radical membership problem / E. Roanes-Lozano, L.M. Laita, E. Roanes-Macías -- Programming by demonstration : a machine learning approach to support skill acquisition for robots (invited lecture) / R. Dillmann, H. Friedrich -- Knowledge-based information processing in manufacturing cells : the present and the future / G. Reinhart, R. Diesch, M.R. Koch -- Calculi for qualitative spatial reasoning (invited lecture) / A.G. Cohn -- Combining local consistency, symbolic rewriting and interval methods / F. Benhamou, L. Granvilliers -- ".
- catalog extent "viii, 379 p. :".
- catalog identifier "3540617329 (alk. paper)".
- catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 1138".
- catalog issued "1996".
- catalog issued "c1996.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "006.3/01/5113 20".
- catalog subject "Artificial intelligence Congresses.".
- catalog subject "Logic, Symbolic and mathematical Congresses.".
- catalog subject "Q334 .A766 1996".
- catalog tableOfContents "Backward reasoning in systems with cut / E. Eder -- Soundness and completeness versus lifting property / J.A. Plaza -- Reasoning with preorders and dynamic sorts using free variable tableaux / A. Gavilanes [and others].".
- catalog tableOfContents "Proof transformation for non-compatible rewriting / R. Bündgen -- PATCH graphs : an efficient data structure for completion of finitely presented groups / C. Lynch, P. Strogova -- Measuring the likely effectiveness of strategies / B.J. Dupée -- A new approach on solving 3-satisfiability / R. Rodošek -- Geometry machines : from aritifical intelligence to symbolic mathematical computation (invited lecture) / D. Wang -- Interactive theorem proving and finite projective planes / J. Ueberberg -- Towards modelling the topology of homogeneous manifolds by means of symbolic computation / M. Joswig -- Solving geometrical constraint systems using CLP based on linear constraint solver / D. Bouhineau -- Towards a sheaf semantics for cooperating agents scenarios / V. Sofronie -- Data types in subdefinite models / V. Telerman, D. Ushakov -- On theorem-proving in Horn theories with built-in algebras / N. Andrianarivelo, W. Bousdira, J.-M. Talbot -- ".
- catalog tableOfContents "Symbolic computation and teaching (invited lecture) D.S. Scott -- Analytica : an experiment in combining theorem proving and symbolic computation / A. Bauer, E. Clarke, X. Zhao -- Document recognition, semantics, and symbolic reasoning in reverse engineering of software / G. Butler [and others] -- Compromised updates in labelled databases / F.C.C. Dargam -- An inference engine for propositional two-valued logic based on the radical membership problem / E. Roanes-Lozano, L.M. Laita, E. Roanes-Macías -- Programming by demonstration : a machine learning approach to support skill acquisition for robots (invited lecture) / R. Dillmann, H. Friedrich -- Knowledge-based information processing in manufacturing cells : the present and the future / G. Reinhart, R. Diesch, M.R. Koch -- Calculi for qualitative spatial reasoning (invited lecture) / A.G. Cohn -- Combining local consistency, symbolic rewriting and interval methods / F. Benhamou, L. Granvilliers -- ".
- catalog title "Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996, proceedings / Jacques Calmet, John A. Campbell, Jochen Pfalzgraf (eds.).".
- catalog type "Conference proceedings. fast".
- catalog type "text".