عنوان
پدید آورنده
موضوع
رده
QA,76.9,.A96I575
QA
,
76
.
9
,.
A96I575
کتابخانه
محل استقرار
استان: أذربایجان الشرقیة ـ شهر: تبریز
English Book
Practical reasoning
International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings
edited by Dov M. Gabbay, Hans Jurgen Ohlbach
Berlin
Springer
1996
xv, 719 p.: ill.
Includes bibliographical references and index.
Automatic theorem provingCongresses
Practical reasonCongresses
ReasoningCongresses
Artificial intelligenceCongresses
QA
,
76
.
9
,.
A96I575
International Conference on Formal and Applied Practical Reasoning (1996 :Bonn, Germany)
Gabbay, Dov M.,1945-
Ohlbach, Hans Jurgen.
Title
Series
