عنوان
پدید آورنده
موضوع
رده
QA 9.54 .W35 1990
QA
9
.
54
.
W35
1990
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Automated proof search in non-classical logics : efficient matrix proof methods for model and intuitionistic logics
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cambridge, Mass
Name of Publisher, Distributor, etc.
MIT Press
Date of Publication, Distribution, etc.
c1990
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
]x[ 239p.: ill., tables
SERIES
Other Title Information
MIT Press series in artificial intelligence
GENERAL NOTES
Text of Note
Bibliography: p. ]228[-234
Text of Note
ISBN: 0262231441
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Lincoln A. Wallen
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
، Proof theory
Entry Element
، Modality )Logic(
Entry Element
، Intuitionistic mathematics
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
9
.
54
.
W35
1990
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Wallen, Lincoln A.
Relator Code
AU
TI
SE Artificial intelligence series )MIT Press(
