Lógica computacional (Registro nro. 19125)
| 000 -LEADER | |
|---|---|
| fixed length control field | 01139nam a2200241 a 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20150907140420.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 090708s2003 sp a gr 00110cspa d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 8497321820 |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | CO-BoBLA |
| Language of cataloging | spa |
| Transcribing agency | CO-BoBLA |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.113 |
| Item number | P192l Ej. |
| Edition number | 21 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Paniagua Aris, Enrique. |
| 9 (RLIN) | 4562 |
| 245 10 - TITLE STATEMENT | |
| Título | Lógica computacional |
| Statement of responsibility, etc | Enrique Paniagua Aris, Juan Luis Sanchez Gonzalez, Fernando Martin Rubio. |
| 260 3# - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc | Madrid |
| Name of publisher, distributor, etc | Thomson |
| Date of publication, distribution, etc | 2003. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 205 p. |
| Other physical details | il. |
| Dimensiones | 24 cm. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc | Incluye referencias bibliográficas y índice . |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Formatted contents note | La sintaxis de la lógica. -- 2.La semántica de la lógica. -- 3.El método axiomático. -- 4.El método interpretativo. -- 5.La demostración automática de teoremas. -- 6.Los agentes inteligentes y la lógica Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. |
| 650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Demostracion automatica de teoremas. |
| Source of heading or term | Local |
| 650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Inteligencia artificial |
| 9 (RLIN) | 39863 |
| Source of heading or term | LEMB |
| 650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Logica matematica no clasica |
| 9 (RLIN) | 58510 |
| Source of heading or term | LEMB |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Martin Rubio, Fernando. |
| 9 (RLIN) | 4567 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Sanchez Gonzalez, Juan Luis. |
| 9 (RLIN) | 4566 |
| Retirado-Oculto | Estado Físico | Home library | Current library | Colección | Date acquired | Cost, normal purchase price | Total Checkouts | Total Renewals | Full call number | Barcode | Date last seen | Date checked out | Price effective from | Koha item type | Copy number |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Bogotá Federman | Bogotá Federman | 17/02/2012 | 11030.00 | 005.113 P192l Ej.2 | 051805100700001454 | 04/08/2022 | 17/02/2012 | Libro | 2 | ||||||
| Bogotá Federman | Bogotá Federman | 17/02/2012 | 11030.00 | 005.113 P192l Ej.1 | 051805100700001455 | 04/08/2022 | 17/02/2012 | Libro | 1 | ||||||
| Bogotá Sur | Bogotá Sur | 17/02/2012 | 11030.00 | 13 | 5 | 005.113 P15l Ej.1 | 051805100700001440 | 13/09/2023 | 15/08/2023 | 17/02/2012 | Libro | ||||
| Bogotá Sur | Bogotá Sur | 17/02/2012 | 11030.00 | 8 | 1 | 005.113 P15l Ej.2 | 051805100700001441 | 31/05/2023 | 19/05/2023 | 17/02/2012 | Libro | ||||
| Bogotá Sur | Bogotá Sur | 17/02/2012 | 11030.00 | 6 | 2 | 005.113 P15l Ej.3 | 051805100700001548 | 05/09/2023 | 05/09/2023 | 17/02/2012 | Libro |