1. Introduction to mathematics of satisfiability
پدیدآورنده : / Victor W. Marek
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Propositional calculus.,Logic, Symbolic and mathematical.
رده :
QA9
.
3
.
M37
2009
2. Psedo-Boolean methods for bivalent Programming
پدیدآورنده : Ivanescu, Petru L
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Programming )Mathematics(,، Algebra, Boolean
رده :
QA
3
.
L28
no
.
23
3. Pseudo-Boolean methods for bivalent programing
پدیدآورنده : Ivanescu, Petru L.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Programming )Mathematics(,، Algebra, Boolean
رده :
QA
3
.
L28
Vol
.
23
4. Pseudo-Boolean methods for bivalent programming
پدیدآورنده : Ivanescu, P. L.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Programming )Mathematics(,، Algebra, Boolean
رده :
QA
1
.
L4
v
.
23
5. Pseudo-Boolean methods for bivalent programming
پدیدآورنده : Hammer, P. L.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Programming )Mathematics(,، Algebra, Boolean
رده :
QA
3
.
L28
no
.
23
6. Pseudo-Boolean methods for bivalent programming
پدیدآورنده : Hammer, P. L., 6391-6002
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Programming )Mathematics(,، Algebra, Boolean
رده :
QA
266
.
H24
1966
7. Pseudo-Boolean programming and applications
پدیدآورنده : Hammer, Peter L.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Programming )Mathematics(,، Algebra, Boolean
رده :
QA
3
.
L28
no
.
9
8. Pseudo-Boolean programming and applications
پدیدآورنده : Ivanescu, Petru L.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Programming )Mathematics(,، Algebra, Boolean
رده :
QA
3
.
L28
Vol
.
9
9. Pseudo-Boolean programming and applications.]Lectures[ presented at the Colloquium on Mathematics and Cybernetics in the Economy, Berlin, October 1964
پدیدآورنده : Hammer, P. L.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Programming )Mathematics(,، Algebra, Boolean
رده :
QA
3
.
L28
no
.
9
10. Pseudo-Boolean programming and applications : Presented at the Colloquium on Mathematics and Cybernetics in the Economy, Berlin, October 1964
پدیدآورنده : Ivanescu, Petru L.
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Programming )Mathematics(,، Algebra, Boolean
رده :
QA
402
.
5
.
I8
1965
11. Pseudo-Boolean programming and applications, presented at the colloquium on mathematics and cybernetics in the economy, Berlin, October, 1964
پدیدآورنده : Ivanescu, Petru
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Algebra, Boolean,، Operations research
رده :
QA
1
.
L4
v
.
9