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

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: International Conference on Formal and Applied Practical Reasoning, Bonn, Germany
Weitere Verfasser: Gabbay, Dov M., 1945-, Ohlbach, Hans Jürgen
Format: Tagungsbericht Buch
Sprache:English
Veröffentlicht: Berlin ; New York : Springer, c1996.
Schriftenreihe:Lecture notes in computer science ; 1085.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Schlagworte:
Beschreibung
Beschreibung:xv, 719 p. : ill. ; 24 cm.
Bibliographie:Includes bibliographical references and index.
ISBN:3540613137