Wird geladen...
Automated deduction CADE 12
| 1. Verfasser: | |
|---|---|
| Format: | Printed Book |
| Sprache: | English |
| Veröffentlicht: |
Springer-Verlag
1994
|
| LEADER | 00568nam a2200217 a 4500 | ||
|---|---|---|---|
| 001 | CS96000001 | ||
| 003 | imported from koha2.9 by LV-478 | ||
| 005 | 20160322165058.0 | ||
| 008 | 960221s1955 dcuabcdjdbkoqu001 0deng d | ||
| 040 | |c S | ||
| 245 | |a Automated deduction CADE 12 | ||
| 100 | |a Alan Bundy | ||
| 500 | |||
| 942 | |c BK |6 _ | ||
| 020 | |a 3-540-58156-1 | ||
| 260 | |b Springer-Verlag |c 1994 | ||
| 300 | |a 848 | ||
| 082 | |a 004.8 | ||
| 250 | |||
| 999 | |c 153527 |d 153527 | ||
| 952 | |0 0 |1 0 |4 0 |6 0048_ |7 0 |9 201237 |a DCS |b DCS |d 2013-09-07 |o 004.8 |p MCS03086 |r 2013-09-07 |w 0000-00-00 |y BK | ||