1. A logical theory of nonmonotonic inference and belief change
پدیدآورنده: Alexander Bochman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Belief and doubt.,Expert systems (Computer science),Nonmonotonic reasoning.
رده :
Q339
.
2
A449
2011
2. A logical theory of nonmonotonic inference and belief change
پدیدآورنده: Bochman, Alexander
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Nonmonotonic reasoning,، Belief and doubt,، Expert systems )Computer science(
رده :
Q
339
.
2
.
B63
2001
3. Complexity of proofs and their transformations in axiomatic theories /
پدیدآورنده: V.P. Orevkov ; [translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Proof theory
رده :
QA9
.
54
.
O7413
1993
4. Complexity of proofs and their transformations in axiomatic theories
پدیدآورنده: V.P. Orevkov ; ]translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
O713
