Nonlinear approaches to satisfiability problems : proefschrift /
Đã lưu trong:
| OCLC: | 43439660 |
|---|---|
| Tác giả chính: | |
| Tác giả của công ty: | |
| Ngôn ngữ: | English |
| Được phát hành: |
[Eindhoven :
Technische Universiteit Eindhoven,
1999]
|
| Những chủ đề: | |
| Định dạng: | Luận văn Monograph Note that CRL will digitize material from the collection when copyright allows. |
| LEADER | 01566nam a2200397Ia 4500 | ||
|---|---|---|---|
| 001 | in00005684864 | ||
| 003 | OCoLC | ||
| 005 | 20021023144458.0 | ||
| 008 | 000211s1999 ne a 000 0 eng d | ||
| 020 | |a 9090129367 | ||
| 035 | |a (OCoLC)43439660 | ||
| 040 | |a ESU |c ESU |d CRL | ||
| 049 | |a CRLL | ||
| 099 | |a P-00059033 | ||
| 100 | 1 | |a Warners, Johannes Pieter. | |
| 245 | 1 | 0 | |a Nonlinear approaches to satisfiability problems : proefschrift / |c door Johannes Pieter Warners. |
| 260 | |a [Eindhoven : |b Technische Universiteit Eindhoven, |c 1999] | ||
| 300 | |a 158 p. : |b ill. ; |c 24 cm. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a unmediated |b n |2 rdamedia. | ||
| 338 | |a volume |b nc |2 rdacarrier. | ||
| 500 | |a Contains summaries in English and Dutch. | ||
| 500 | |a Vita. | ||
| 502 | |a Thesis (Doctoral) -- Technische Universiteit Eindhoven, 1996. | ||
| 504 | |a Includes bibliographical references (p. 145-154) | ||
| 650 | 0 | |a Propositional calculus. | |
| 650 | 0 | |a Decision making. | |
| 650 | 0 | |a Computer algorithms. | |
| 650 | 0 | |a Computer science. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 0 | |a Artificial intelligence. | |
| 710 | 2 | |a Technische Universiteit Eindhoven. | |
| 907 | |a .b16308311 |b 12-06-21 |c 10-23-02 | ||
| 998 | |a diss |b 10-23-02 |c m |d - |e - |f eng |g ne |h 0 |i 1 | ||
| 999 | f | f | |i cc10ff9c-0c13-5bb0-a68f-dfb03d6fb175 |s 68cbd00e-fa5f-5322-ada8-22428774d842 |t 0 |