Symbolic logic and mechanical theorem proving /
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Libro |
| Lenguaje: | Español |
| Publicado: |
New York :
Academic,
1973
|
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 00531nam a2200181 4500 | ||
|---|---|---|---|
| 001 | 004298 | ||
| 003 | arbauncb | ||
| 008 | 150429s1973 us g 000 0 spa d | ||
| 005 | 20171017113802.0 | ||
| 040 | |a AR-BaUNCB |c AR-BaUNCB | ||
| 245 | 1 | 0 | |a Symbolic logic and mechanical theorem proving / |c Chin-liang Chang y Lee Richard Char-lung. |
| 260 | |a New York : |b Academic, |c 1973 | ||
| 300 | |a 344 p. |c 22 cm | ||
| 100 | 1 | |a Chin-liang Chang | |
| 700 | 1 | |a Char-lung, Lee Richard | |
| 082 | 0 | 4 | |a 164 |
| 650 | 7 | |a Lógica matemática |2 unescot | |
| 999 | |c 4226 |d 4226 | ||