ABSTRACT
In general, the machine’s problem solving is much more elegant when it works with a selected list of strategic theorems than when it tries to remember and use all the previous theorems in [Principia Mathematica].
- Journals
- Corporate
- Help & Contact
Registered in England & Wales No. 3099067
5 Howick Place | London | SW1P 1WG© 2024 Informa UK Limited