Journal of automated reasoning
Gespeichert in:
| Format: | Schriftenreihe |
|---|---|
| Veröffentlicht: |
1996
|
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|
MARC
| LEADER | 00000nas a22000003a 4500 | ||
|---|---|---|---|
| 001 | stu61745 | ||
| 005 | 20141122004039.5 | ||
| 008 | 011106s1996----------------------------d | ||
| 040 | |a STU |b slo | ||
| 041 | 0 | ||
| 245 | |a Journal of automated reasoning | ||
| 260 | |c 1996 | ||
| 500 | |a 1-3 | ||
| 500 | |a 6 | ||
| 500 | |a 1996 | ||
| 773 | 0 | |t Journal of automated reasoning |w stu_us_cat*stu59916 |x 0168-7433 |7 nnas | |
| 996 | |d Vol. 16, 1996 |v Vol. 16 |y 1996 |l EE0103 |s A |a 24 |w stu61745_0001 | ||