|
|
|
|
| LEADER |
00946nam a2200265 a 4500 |
| 001 |
923568 |
| 005 |
20171111231359.0 |
| 008 |
040929s1997 xxu er 000 0 eng d |
| 020 |
|
|
|a 0821804790
|
| 040 |
|
|
|a TEIK
|b gre
|
| 082 |
|
0 |
|a 511.3
|
| 100 |
1 |
|
|a Du, Dingzhu
|
| 245 |
1 |
0 |
|a Satisfiability problem:
|b theory and applications/
|c Dingzhu Du,Jun Gu,Panos M. Pardalos
|
| 260 |
|
|
|a USA:
|b American Mathematical Society,
|c 1997
|
| 300 |
|
|
|a 724σ. ;
|c 21εκ.
|
| 490 |
0 |
|
|a DIMACS series in discrete mathematics and theoretical computer science
|v 35
|
| 504 |
|
|
|a Περιέχει βιβλιογραφία
|
| 650 |
1 |
0 |
|a Propositional calculus
|x Congresses
|
| 650 |
1 |
0 |
|a Computer algorithms
|x Congresses
|
| 650 |
1 |
0 |
|a Pardalos
|x Panos M.
|
| 650 |
1 |
0 |
|a Decision-making
|x Congresses
|
| 650 |
1 |
0 |
|a Computer science
|x Congresses
|
| 700 |
1 |
|
|a Pardalos, Panos M.
|
| 700 |
1 |
|
|a Gu, Jun
|
| 952 |
|
|
|a GRThAnMak
|b 59cc959c6c5ad13446002ff0
|c 998a
|d 945l
|e 511.3 SAT
|t 1
|x m
|z Books
|
