Qualitative and quantitative practical reasoning
: proceedings / First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU FAPR '97, Bad Honnef, Germany, June 9 - 12, 1997. Dov Gabbay ... (ed.). - Berlin : Springer, 1997. - X, 620 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1244 : Lecture notes in artificial intelligence)
ISBN 978-3-540-63095-1 / 3-540-63095-3 kart. : DM 122.00
Literaturangaben
Quelle: DNB
Temporal logic
: first international conference ; proceedings / ICTL '94, Bonn, Germany, July 11 - 14, 1994. Dov M. Gabbay ; Hans Jürgen Ohlbach (ed.). - Berlin : Springer, 1994. - XI, 545 S. : graph. Darst.; 24 cm
ISBN 978-3-540-58241-0 / 3-540-58241-X kart. : DM 104.00
Literaturangaben
Quelle: DNB