Pebble Games and Algebraic Proof Systems Meet Again.

Lisa Jaser Jacobo Torán

Published in: Electron. Colloquium Comput. Complex. (2024)

Keyphrases

management system
databases
complex systems
database
building blocks
intelligent systems
neural network
multi agent
artificial intelligence
first order logic
retrieval systems
computer games
theorem prover
game play
game theoretic
game development
human computation