|
|
|
|
| LEADER |
00000nam a22000007a 4500 |
| 003 |
AR_CdUFM |
| 005 |
20171212164402.0 |
| 008 |
110630s1997 gw||||| |||| 00| 0 eng d |
| 020 |
|
|
|a 3540631720
|
| 040 |
|
|
|a AR_CdUFM
|c AR_CdUFM
|
| 110 |
2 |
|
|a Workshop on Computer Science Logic
|
| 111 |
2 |
|
|a
|n (10º :
|d 1996 :
|c University of Utrecht, The Netherlands)
|
| 245 |
1 |
0 |
|a Computer science logic /
|c edited by Dirk Dalen, Marc Bezem.
|
| 260 |
|
|
|a Berlin :
|b Springer,
|c 1997.
|
| 300 |
|
|
|a viii, 470 p. :
|b il. ;
|c 24 cm.
|
| 490 |
0 |
|
|a Lecture notes in computer science ;
|v v. 1258
|
| 490 |
0 |
|
|a LNCS ;
|v v. 1258
|
| 500 |
|
|
|a Este trabajo es la 5a. de las conferencias anuales de la European Association for Computer Science Logic, EACSL.
|
| 650 |
|
4 |
|a Teoría de códigos y de la información.
|
| 650 |
|
4 |
|a Coding and information theory.
|
| 650 |
|
4 |
|a Lógica y significado de programas.
|
| 650 |
|
4 |
|a Logics and meanings of programs.
|
| 650 |
|
4 |
|a Lógica matemática.
|
| 650 |
|
4 |
|a Lenguajes formales.
|
| 650 |
|
4 |
|a Mathematical logic.
|
| 650 |
|
4 |
|a Inteligencia artificial
|
| 650 |
|
4 |
|a Formal languages.
|
| 650 |
|
4 |
|a Artificial intelligence.
|
| 650 |
|
4 |
|a Deduction and theorem proving.
|
| 650 |
|
4 |
|a Deducción y prueba de teoremas.
|
| 650 |
|
4 |
|a Representación del conocimiento, métodos, formas y scripts.
|
| 650 |
|
4 |
|a Knowledge representation formalisms and methods frames.
|
| 700 |
1 |
|
|9 3783
|a Dalen, Dirk,
|e ed.,
|d 1932-
|
| 700 |
1 |
|
|9 1513
|a Bezem, Marc
|q (Marcus Aloysius),
|d 1956-
|e ed.,
|
| 710 |
2 |
|
|a European Association for Computer Science Logic.
|b Conference
|n (5º :
|d 1996 :
|c Utrecht, Netherlands)
|
| 942 |
|
|
|c LIBRO
|2
|
| 945 |
|
|
|a MCR
|d 2011-06-30
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 C_LNCS_V__1258_000000000000000
|7 0
|9 10257
|a MMA
|b MMA
|c LN
|d 2008-06-09
|e FOMEC/Comp.
|l 0
|o C LNCS v. 1258
|p 14737
|r 2013-08-26 00:00:00
|w 2008-06-09
|y LIBRO
|
| 999 |
|
|
|c 8003
|d 8003
|
