La prueba automática de teoremas lógicos (PATL) en la lógica pura y en la filosofía de la lógica / José Antonio López Brugos
Material type:
ArticleLanguage: Spanish Subject(s): Lógica Pura
In:
Comunicaciones presentadas al IIº Congreso de Teoría y Metodología de las Ciencias : / Alberto Hidalgo Tuñón, Julián Velarde Lombraña , págs. 251-256
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Artículo de colaboración
|
San Esteban Depósito de libros | 30/B3 (Browse shelf (Opens below)) | Available |