SAT 2000 : highlights of Satisfiability research in the year 2000 / ed. by Ian Gent ...
Saved in:
| Superior document: | Frontiers in artificial intelligence and applications 63 |
|---|---|
| HerausgeberIn: | |
| Place / Publishing House: | Amsterdam [u.a.] : IOS Pr. [u.a.], 2000 |
| Year of Publication: | 2000 |
| Language: | English |
| Series: | Frontiers in artificial intelligence and applications
63 |
| Physical Description: | 561 S.; graph. Darst.; 25 cm |
| Notes: | Literaturangaben |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 00841nam#a2200289zcb4500 | ||
|---|---|---|---|
| 001 | 990000673710504498 | ||
| 005 | 20230428224704.0 | ||
| 007 | tu | ||
| 008 | 040305|2000####|||###########|||#|#eng#c | ||
| 009 | AC04026878 | ||
| 020 | |a 1586030612 | ||
| 020 | |a 427490363X | ||
| 035 | |a (AT-OBV)AC04026878 | ||
| 035 | |a AC04026878 | ||
| 035 | |a (Aleph)004015935ACC01 | ||
| 035 | |a (DE-599)OBVAC04026878 | ||
| 035 | |a (EXLNZ-43ACC_NETWORK)990040159350203331 | ||
| 040 | |a OAW |b ger |e rakwb | ||
| 041 | |a eng | ||
| 044 | |c XA-DE | ||
| 245 | 0 | 0 | |a SAT 2000 |b highlights of Satisfiability research in the year 2000 |c ed. by Ian Gent ... |
| 264 | 1 | |a Amsterdam [u.a.] |b IOS Pr. [u.a.] |c 2000 | |
| 300 | |a 561 S. |b graph. Darst. |c 25 cm | ||
| 490 | 1 | |a Frontiers in artificial intelligence and applications |v 63 | |
| 500 | |a Literaturangaben | ||
| 700 | 1 | |a Gent, Ian |4 edt | |
| 830 | 0 | |w (AT-OBV)AC00368358 |v 63 | |
| 970 | 1 | |c 33 | |
| ADM | |b 2023-04-28 22:47:04 Europe/Vienna |d 20 |f System |c marc21 |a 2018-12-24 05:18:57 Europe/Vienna |g false | ||
| HOL | 8 | |b YWOAW |h 31514-C |c MAG1-3 |8 2214095520004498 | |
| 852 | 8 | |b YWOAW |c MAG1-3 |h 31514-C |8 2214095520004498 | |
| ITM | |9 2214095520004498 |e 1 |m BOOK |b +YW3804203 |i 31514-C |2 MAG1-3 |o 20040305 |8 2314095510004498 |f 02 |p 2004-03-05 01:00:00 Europe/Vienna |h 31514-C |1 YWOAW |q 2022-06-09 11:14:23 Europe/Vienna | ||