Artificial intelligence and symbolic computation. International conference AISC '98, Plattsburgh, NY, USA, September 16--18, 1998. Proceedings (Q1265641)

The articles of mathematical interest will be reviewed individually. Indexed articles: \textit{Fitting, Melvin}, Bertrand Russell, Herbrand's theorem, and the assignment statement, 14-28 [Zbl 0920.03026] \textit{Ballarin, Clemens; Paulson, Lawrence C.}, Reasoning about coding theory: The benefits we get from computer algebra, 55-66 [Zbl 0914.94011] \textit{Beeson, Michael}, Automatic generation of epsilon-delta proofs of continuity, 67-83 [Zbl 0914.03012] \textit{Benhamou, Belaid; Henocque, Laurent}, Finite model search for equational theories (FMSET), 84-93 [Zbl 0914.03011] \textit{Bertoli, P. G.; Calmet, J.; Giunchiglia, F.; Homann, K.}, Specification and integration of theorem provers and computer algebra systems, 94-106 [Zbl 0910.68194] \textit{Egly, Uwe; Schmitt, Stephan}, Intuitionistic proof transformations and their application to constructive program synthesis, 132-144 [Zbl 0924.03042] \textit{Fèvre, Stéphane; Wang, Dongming}, Combining algebraic computing and term-rewriting for geometry theorem proving, 145-156 [Zbl 0914.03014] \textit{Fuchs, Dirk}, Cooperation between top-down and bottom-up theorem provers by subgoal clause transfer, 157-169 [Zbl 0910.68195] \textit{Fujita, Ken-etsu}, Polymorphic call-by-value calculus based on classical proofs (extended abstract), 170-182 [Zbl 0914.03036] \textit{Lynch, Christopher}, The unification problem for one relation Thue systems, 195-208 [Zbl 0919.03032] \textit{Lynch, Christopher; Scharff, Christelle}, Basic completion with \(E\)-cycle simplification, 209-221 [Zbl 0955.68504] \textit{Horrocks, Ian; Patel-Schneider, Peter F.}, Optimising propositional modal satisfiability for description logic subsumption, 234-246 [Zbl 0910.68204] \textit{Sendra, J. Rafael; Winkler, Franz}, Real parametrization of algebraic curves, 284-295 [Zbl 0932.14034] \textit{Stachniak, Zbigniew}, Non-clausal reasoning with propositional definite theories, 296-307 [Zbl 0921.03014]