Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 1996 : proceedings / Dov M. Gabbay, Hans Jürgen Ohlbach (eds.).

Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 1996 : proceedings / Dov M. Gabbay, Hans Jürgen Ohlbach (eds.). International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 1996 : proceedings /

Saved in:
Bibliographic Details
Corporate Author: International Conference on Formal and Applied Practical Reasoning Bonn, Germany
Other Authors: Gabbay, Dov M., 1945-, Ohlbach, Hans Jürgen
Format: Book
Language:English
Published: Berlin ; London : Springer, c1996
Series:Lecture notes in computer science. 1085
Subjects:
Automatic theorem proving > Congresses
Reasoning > Congresses
Artificial intelligence > Congresses
Tags: Add Tag
No Tags, Be the first to tag this record!
Login for hold information

Pilkington Library - Pilkington Main Collection

Shelfmark: 006.3/INT
Copy [0401495868] Available

Similar Items