عنوان
پدید آورنده
موضوع
رده
QA,76.9,.A96I575
QA
,
76
.
9
,.
A96I575
کتابخانه
محل استقرار
استان: East Azarbaijan ـ شهر: Tabriz
English Book
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Practical reasoning
Other Title Information
International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings
Subsequent Statement of Responsibility
edited by Dov M. Gabbay, Hans Jurgen Ohlbach
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
1996
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xv, 719 p.: ill.
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index.
TOPICAL NAME USED AS SUBJECT
Entry Element
Automatic theorem provingCongresses
Entry Element
Practical reasonCongresses
Entry Element
ReasoningCongresses
Entry Element
Artificial intelligenceCongresses
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
,
76
.
9
,.
A96I575
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
International Conference on Formal and Applied Practical Reasoning (1996 :Bonn, Germany)
PERSONAL NAME - SECONDARY RESPONSIBILITY
Entry Element
Gabbay, Dov M.,1945-
Entry Element
Ohlbach, Hans Jurgen.
Entry Element
Title
Entry Element
Series
