Automated Mathematical Induction /
| Άλλοι συγγραφείς: | Zhang, H. |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Στοιχεία έκδοσης: |
Dordrecht:
Kluwer Academic Publishers,
1996.
|
| Ταξινομικός αριθμός: |
510 AU. |
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
| LEADER | 00615nam a2200193 4500 | ||
|---|---|---|---|
| 001 | 1/11738 | ||
| 008 | 971125s1996 enk 000 0 eng | ||
| 020 | |a 0792340108 | ||
| 035 | |l 12100 | ||
| 040 | |a DLC |c GR-PeUP | ||
| 082 | 0 | 0 | |a 510 AU. |
| 245 | 0 | 0 | |a Automated Mathematical Induction / |c edited by H. Zhang. |
| 260 | |a Dordrecht: |b Kluwer Academic Publishers, |c 1996. | ||
| 300 | |a 222 p.: |b fig.; |c 26 cm. | ||
| 500 | |a Includes references. | ||
| 650 | 4 | |a Mathematics. | |
| 700 | 1 | |a Zhang, H. |e ed. | |
| 852 | |a INST |b UNIPILB |c MAIN |e 20040709 |h 510 AU. |p 00127134 |q 00127134 |t LOAN |y 0 |4 1 | ||
| 856 | 4 | |d /webopac/covers/01/12100_0792340108.jpg | |