Extensions of logic programming /
Extensions of logic programming /
ed. Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister.
- Berlin : Springer, 1996.
- 318 p.
- Lecture notes in computer science ; v. 1050 Lecture notes in artificial intelligence .
- Lecture notes in computer science ; v. 1050 Lecture notes in computer science. Lecture notes in artificial intelligence .
3540609830
Representación del conocimiento, métodos, formas y scripts.
Knowledge representation formalisms and methods frames and scripts.
Logic programming.
Lógica matemática-Computación.
Mathematical logic-Computation.
Deducción y prueba de teoremas.
Deduction and theorem proving.
3540609830
Representación del conocimiento, métodos, formas y scripts.
Knowledge representation formalisms and methods frames and scripts.
Logic programming.
Lógica matemática-Computación.
Mathematical logic-Computation.
Deducción y prueba de teoremas.
Deduction and theorem proving.