Automated reasoning : international joint conference, IJCAR 2001, Siena, Italy, June, 2001 ; short papers / Rajeev Goré ... (eds.)
Saved in:
| MitwirkendeR: | |
|---|---|
| HerausgeberIn: | |
| Place / Publishing House: | Siena : Univ. Siena, 2001 |
| Year of Publication: | 2001 |
| Language: | English |
| Physical Description: | 189 S.; 30 cm |
| Notes: | Literaturangaben |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 00782nam#a2200265#cb4500 | ||
|---|---|---|---|
| 001 | 990000687790504498 | ||
| 005 | 20230705081207.0 | ||
| 007 | tu | ||
| 008 | 040408|2001####|||###########1||#u#eng#c | ||
| 009 | AC04063426 | ||
| 035 | |a (AT-OBV)AC04063426 | ||
| 035 | |a AC04063426 | ||
| 035 | |a (Aleph)004052291ACC01 | ||
| 035 | |a (DE-599)OBVAC04063426 | ||
| 035 | |a (EXLNZ-43ACC_NETWORK)990040522910203331 | ||
| 040 | |a OAW |b ger |c 292 |e rakwb | ||
| 041 | |a eng | ||
| 044 | |c XA-IT | ||
| 090 | |a b |h h | ||
| 245 | 0 | 0 | |a Automated reasoning |b international joint conference, IJCAR 2001, Siena, Italy, June, 2001 ; short papers |c Rajeev Goré ... (eds.) |
| 264 | 1 | |a Siena |b Univ. Siena |c 2001 | |
| 300 | |a 189 S. |c 30 cm | ||
| 500 | |a Literaturangaben | ||
| 700 | 1 | |a Goré, Rajeev |4 edt | |
| 711 | 2 | |a IJCAR |n 1 |d 2001 |c Siena |0 (DE-588)10021413-7 |4 ctb | |
| 970 | 1 | |c 24 | |
| ADM | |b 2023-07-05 08:12:07 Europe/Vienna |d 20 |f System |c marc21 |a 2018-12-24 05:47:15 Europe/Vienna |g false | ||
| HOL | 8 | |b YWOAW |h 31261-C |c MAG1-3 |8 2215022930004498 | |
| 852 | 8 | |b YWOAW |c MAG1-3 |h 31261-C |8 2215022930004498 | |
| ITM | |9 2215022930004498 |e 1 |m BOOK |b +YW3840803 |i 31261-C |2 MAG1-3 |o 20040408 |8 2315022920004498 |f 02 |p 2004-04-08 02:00:00 Europe/Vienna |h 31261-C |1 YWOAW |q 2022-06-24 15:18:56 Europe/Vienna | ||