|  |
| |
| Artikel-Nr.:
858A-9783030778811 Herst.-Nr.:
9783030778811 EAN/GTIN:
9783030778811 |
| |
|
| | |
| Mathematical Reasoning: The History and Impact of the DReaM Group Weitere Informationen: | | Author: | Gregory Michaelson | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, Artificial Intelligence; Computational Creativity; Inference; Proof mechanization; Proof planning; Reasoned Modelling; Rippling; Symbolic reasoning; automated reasoning, Automated Reasoning, Proof planning, Artificial Intelligence, Rippling, Computational Creativity, Reasoned Modelling, Symbolic reasoning, Inference, Proof mechanization |
| | |
| |