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
