Representation and Inference for Natural Language: A First Course in Computation
46,17 €
First-order logic First-order logic Three inference tasks A first-order model checker First-order logic and natural language 2. Putting it all together Baby Curt Rugrat Curt Clever Curt Sensitive Curt Scrupulous Curt Knowledgeable Curt Helpful Curt A. Running the software - FAQ B. Propositional logic C. Automated reasoning for first-order logic.
Jetzt bei Ebay:
