Friday, April 28, a.m. Room 34

Symposium Q: Theory and Application of Artificial Intelligence
V.Marik, Czech Republic, and E.Buchberger, Austria

Synthesis of Formal Specifications of Predicates: Why and How?
M. Franova, L. Popelinsky, CNRS & Universitè Paris Sud, Orsay, France
Presenting Equation Proofs in a Human-Oriented Style
H. Horacek, University of the Saarland, Saarbrücken, Germany
A Method of a Systematic System Analysis Using Temporal Logic
R. Klimek, Institute of Automatics, AGH, Krakow, Poland
Logical Analysis of Databases and Rule-Based Systems
A. Ligeza, Institute of Automatics, AGH, Krakow, Poland

Last modified: Mon Mar 6 18:12:32 MET 2000