Computability and unsolvability
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Nueva York
McGraw-Hill
1958
|
| Témata: | |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
MARC
| LEADER | 00000nam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | UCW1273 | ||
| 003 | CL-VaPUC | ||
| 008 | 911223e19580000US |||||||||||||||||eng|d | ||
| 082 | 0 | 4 | |a 511.3 |b DAV |2 21 |
| 100 | 0 | |a Davis, Martin |e author |9 305193 | |
| 245 | 1 | 0 | |a Computability and unsolvability |
| 300 | |a 210 p | ||
| 942 | |c BK | ||
| 945 | |d 19911223 00:00:00 | ||
| 260 | |a Nueva York |b McGraw-Hill |c 1958 | ||
| 650 | 7 | |a INSOLUBILIDAD LOGICA MATEMATICA |2 CL-VaPUC |9 270696 | |
| 650 | 7 | |a FUNCIONES RECURSIVAS |2 CL-VaPUC |9 270697 | |
| 650 | 7 | |a FUNCIONES COMPUTABLES |2 CL-VaPUC |9 270698 | |
| 583 | |a last modification |c 19911223 00:00:00 |k Rodrigo Vera | ||
| 999 | |c 216190 |d 216188 | ||
| 952 | |0 0 |1 0 |4 0 |6 511_300000000000000_DAV_1958 |7 0 |8 A |9 201692 |a BIBMAT |b BIBMAT |d 2019-11-14 |i 2689375 |o 511.3 DAV 1958 |p 2689375 |r 2025-01-07 |w 2019-11-14 |y BK |k MAT | ||