Screen LibraryArtificial intelligence and symbolic mathematical computation：international conference, AISMC-3, Steyr, Austria, September 23-25, 1996, proceedings
Saved in:
| Corporate Authors: | |
|---|---|
| Group Author: | ; ; |
| Published: |
Springer,
|
| Publisher Address: | Berlin New York |
| Publication Dates: | c1996. |
| Literature type: | Book |
| Language: | English |
| Series: |
Lecture notes in computer science ; 1138 |
| Subjects: | |
| Carrier Form: | viii, 379 p.: ill. ; 24 cm. |
| ISBN: | 3540617329 (alk. paper) |
| Index Number: | TP18 |
| CLC: | TP18-532 |
| Call Number: | TP18-532/A791-3/1996 |
| Contents: |
"Third International Conference on Artificial Intelligence and Symbolic Mathematical Computation (AISMC-3), held in Steyr (Austria), September 23-25, 1996"--Foreword. Includes bibliographical references and index. 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 ... [et al.] -- 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 fo |