|
|
|
|
LEADER |
00000nam a22000007a 4500 |
003 |
AR_CdUFM |
005 |
20170629173805.0 |
008 |
110701s1996 gw||||| |||| 00| 0 eng d |
020 |
|
|
|a 3540614885
|
040 |
|
|
|a AR_CdUFM
|c AR_CdUFM
|
100 |
1 |
|
|9 305
|a Alferes, José Júlio,
|d 1966-
|
245 |
1 |
0 |
|a Reasoning with logic programming /
|c José Júlio Alferes, Luís Moniz Pereira.
|
260 |
|
|
|a Berlin :
|b Springer,
|c 1996.
|
300 |
|
|
|a xx, 26 p. :
|b il. ;
|c 24 cm.
|
490 |
1 |
|
|a Lecture notes in computer science ;
|v v. 1111
|
490 |
1 |
|
|a Lecture notes in artificial inteligence
|
650 |
|
4 |
|a Deducción y prueba de teoremas.
|
650 |
|
4 |
|a Deduction and theorem proving.
|
650 |
|
4 |
|a Logics and meanings of programs.
|
650 |
|
4 |
|a Mathematical logic.
|
650 |
|
4 |
|a Formal languages.
|
650 |
|
4 |
|a Lógica matemática.
|
650 |
|
4 |
|a Lenguajes formales.
|
650 |
|
4 |
|a Lenguajes de programación.
|
650 |
|
4 |
|a Programming languages.
|
650 |
|
4 |
|a Representación del conocimiento, métodos, formas y scripts.
|
650 |
|
4 |
|a Knowledge representation formalisms and method frames and scripts.
|
650 |
|
4 |
|a Lenguajes de programación y software
|
650 |
|
4 |
|a Programming languages and software.
|
650 |
|
4 |
|a Inteligencia artificial-Aprendizaje.
|
650 |
|
4 |
|a Artificial intelligence-Learning.
|
650 |
|
4 |
|a Logic programming.
|
650 |
|
4 |
|a Lógica y significado de programas.
|
700 |
1 |
|
|9 11757
|a Moniz Pereira, Luís,
|d 1947-
|
830 |
|
0 |
|a Lecture notes in computer science ;
|v v. 1111
|
830 |
|
0 |
|a Lecture notes in computer science.
|p Lecture notes in artificial inteligence
|
942 |
|
|
|c LIBRO
|2
|
945 |
|
|
|a MCR
|d 2011-12-21
|
952 |
|
|
|0 0
|1 0
|4 0
|6 C_LNAI_V__1111_000000000000000
|7 0
|9 10653
|a MMA
|b MMA
|c LN
|d 2008-06-09
|e FOMEC/Comp.
|l 0
|o C LNAI v. 1111
|p 15230
|r 2008-06-09 00:00:00
|w 2008-06-09
|y LIBRO
|
999 |
|
|
|c 8362
|d 8362
|