Practical reasoning
Subtitle: International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings
By: Dov M. Gabbay, Hans Jürgen Ohlbach (eds.).
Contributors: Gabbay, Dov M., 1945-; Ohlbach, Hans Jürgen.
Series: Lecture notes in computer science ;; 1085.; Lecture notes in artificial intelligence; Lecture notes in computer science ;; 1085.; Lecture notes in computer science.
Publisher: Springer
Published: 1996
Place of publication: Berlin; New York
Language: eng
Number of pages: 719
Subjects: Automatic theorem proving -- Congresses; Practical reason -- Congresses; Reasoning -- Congresses; Artificial intelligence -- Congresses
Notes: Includes bibliographical references and index.