Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June 3 7, 1996 : proceedings

This book constitutes the refereed proceedings of the International Conference on Formal and Applied Practical Reasoning, FAPR '96, held in Bonn, Germany, in June 1996. The 51 revised full papers included in the book together with eight posters were carefully selected for presentation at the co...

Mô tả đầy đủ

Đã lưu trong:
Chi tiết về thư mục
Tác giả chính: Gabbay, Dov M., 1945-
Tác giả khác: Ohlbach, Hans Jürgen (Giám đốc xuất bản)
Định dạng: Livre numérique
Ngôn ngữ:Anglais
Được phát hành: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Loạt:Lecture notes in computer science. Lecture notes in artificial intelligence 1085
Những chủ đề:
Truy cập trực tuyến:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Chú thích: Actes d'une conférence tenue à Bonn du 3 au 7 juin 1996, d'après l écran-titre
Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• 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.), 1996, Berlin, Springer, 1 vol. (XV-719 p.), Lecture notes in computer science, 3-540-61313-7
• Practical Reasoning, Texte imprimé, 9783662184981

Internet

Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL