Induction, recursion, and programming /
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| الوثيقة: | كتاب |
| اللغة: | English |
| منشور في: |
New York :
North Holland,
c1980.
|
| الطبعة: | 1st ed. |
| الموضوعات: | |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| LEADER | 00901nam a2200265 a 4500 | ||
|---|---|---|---|
| 001 | u9258 | ||
| 003 | SIRSI | ||
| 005 | 20210116000411.0 | ||
| 008 | 791126s1980 nyu g b 001 0 eng d | ||
| 020 | |a 0444003223 | ||
| 040 | |c تقنية المعارف |b eng | ||
| 082 | 0 | 0 | |a 001.642 |2 21 |b wan |
| 100 | 1 | |a Wand, Mitchell. |9 2483 | |
| 245 | 1 | 0 | |a Induction, recursion, and programming / |c Mitchell Wand. |
| 250 | |a 1st ed. | ||
| 260 | |a New York : |b North Holland, |c c1980. | ||
| 300 | |a xii, 202 p. ; |c 24 cm. | ||
| 500 | |a Includes index. | ||
| 504 | |a Bibliography: p. [190]-194. | ||
| 650 | 0 | |a Computer programming. |9 14159 | |
| 650 | 0 | |a Induction (Mathematics) |9 14160 | |
| 650 | 0 | |a Recursion theory. |9 14161 | |
| 942 | |2 ddc |c BK | ||
| 999 | |c 2483 |d 2483 | ||
| 952 | |0 0 |1 0 |2 LC |4 0 |6 001_642000000000000_WAN |7 0 |9 51801 |a MAIN |b MAIN |c STACKS |d 2020-09-08 |h STACKS |l 0 |o 001.642 WAN |p 33953000000449 |r 2019-10-07 |t 1 |w 2019-10-07 |y BK | ||