Logica computacional/ Enrique Paniagua Arís
By: Paniagua Arís, Enrique
Contributor(s): Martín R., Fernando, Coautor. Sánchez G., Juan L.,CoautorMaterial type: 
TextLanguage: Spanish Publisher: Madrid : International Thomson 2003Description: 205 páginasISBN: 8497321820Subject(s): Lógica matemáticaDDC classification: 005.131
Contents:
Action note: Verificado 15-07-2021
La sintaxis de la logica 2.La semantica de la logica 3.El método axiomatico 4.El método interpretativo 5.La demostración automatica de teoremas 6.Los agentes inteligentes y la logica
| Item type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Libros/ General
|
Biblioteca Central Euclides Jaramillo Arango GENERAL | Papel | 005.131 P192 (Browse shelf) | Ej. 1 | Available | 048554 |
Browsing Biblioteca Central Euclides Jaramillo Arango shelves, Shelving location: GENERAL, Collection: Papel Close shelf browser
| 005.131 K291 Teoría de autómatas y lenguajes formales/ Kelley, Dean | 005.131 K291 Teoría de autómatas y lenguajes formales/ Kelley, Dean | 005.131 K291 Teoría de autómatas y lenguajes formales/ Kelley, Dean | 005.131 P192 Logica computacional/ Paniagua Arís, Enrique | 005.131 S618 2a.ed. Introduction to the theory of computation/ Sipser, Michael | 005.133 A221 Reflexión computacional un enfoque desde C++/ Adarme Jaimes, Marco Antonio | 005.133 B663 HTML dinámico a través de ejemplos/ Bobadilla Sancho., Jesús |
La sintaxis de la logica 2.La semantica de la logica 3.El método axiomatico 4.El método interpretativo 5.La demostración automatica de teoremas 6.Los agentes inteligentes y la logica
Verificado 15-07-2021
Click on an image to view it in the image viewer
- Place hold
- Add to your cart
-
Código QR
There are no comments on this title.