|
|
|
|
| LEADER |
01400nam a2200301a 44500 |
| 001 |
UBP01841 |
| 003 |
AR-CdUBP |
| 005 |
20220310151520.0 |
| 008 |
151212suuuu#######|||||||||||||||||eng|d |
| 020 |
|
|
|a 0-262-22055-5
|
| 040 |
|
|
|a AR-CdUBP
|b spa
|
| 041 |
|
|
|a eng
|
| 245 |
0 |
0 |
|a Automated reasoning and its applications :
|b essays in honor of Larry Wos /
|c editado por Robert Veroff, con la colaboración de Gail W. Pieper.
|
| 260 |
|
|
|a Cambridge :
|b MIT,
|c c1997
|
| 300 |
|
|
|a viii, 247 p. ;
|c 20 cm.
|
| 504 |
|
|
|a Incluye referencias bibliográficas.
|
| 505 |
0 |
|
|a 1. Wos and automated deduction at ANL: the ethos. 2. A completeness result for linked resolution. 3. Generic automatic proof tools. 4. Automated generation of construction steps for geometric constraint problems. 5. 33 Basic test problems: a practical evaluation of some paramodulation strategies. 6. Specifying latin square problems in propositional logic. 7. Mechanized formal reasoning about programs and computing machines. 8. Constructors can be partial, too. 9. Metalevel reasoning for controlling automated reasoning programs.
|
| 650 |
|
4 |
|a RAZONAMIENTO
|
| 650 |
|
4 |
|a INTELIGENCIA ARTIFICIAL
|
| 653 |
|
|
|a INFORMATICA
|
| 700 |
1 |
|
|a Veroff, Robert
|e ed.
|
| 700 |
1 |
|
|a Pieper, Gail W.
|
| 930 |
|
|
|a INFORMATICA
|
| 931 |
|
|
|a 01841
|b UBP
|
| 942 |
|
|
|2 cdu
|c BK
|
| 945 |
|
|
|a SMM
|
| 984 |
|
|
|a 004.838
|b Au82
|
| 999 |
|
|
|c 17456
|d 17456
|