The Proof is in the Pudding: Using Automated Theorem Proving to Generate
Cooking Recipes

The Proof is in the Pudding: Using Automated Theorem Proving to Generate Cooking Recipes

5 March 2022

ArXiv (abs)PDF HTML

Papers citing "The Proof is in the Pudding: Using Automated Theorem Proving to Generate Cooking Recipes"

Title
No papers