Modelling Puzzles in First Order Logic
portes grátis
Modelling Puzzles in First Order Logic
Groza, Adrian
Springer Nature Switzerland AG
10/2021
338
Mole
Inglês
9783030625467
15 a 20 dias
545
Descrição não disponível.
Preface.- Getting Started with Prover9 and Mace4.- Micro Arithmetic Puzzles.- Strange Numbers.- Practical Puzzles.- Lady and Tigers.- Einstein Puzzles.- Island of Truth.- Love and Marriage.- Grid Puzzles.- Japanese Puzzles.- Russian Puzzles.- Polyomino Puzzles.- Self-reference and Other Puzzles.- Epigraph in Natural Language
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
First Order Logic;Puzzle-based Learning;Theorem Proving;Automated Reasoning;Artificial Intelligence
Preface.- Getting Started with Prover9 and Mace4.- Micro Arithmetic Puzzles.- Strange Numbers.- Practical Puzzles.- Lady and Tigers.- Einstein Puzzles.- Island of Truth.- Love and Marriage.- Grid Puzzles.- Japanese Puzzles.- Russian Puzzles.- Polyomino Puzzles.- Self-reference and Other Puzzles.- Epigraph in Natural Language
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
