On a Solution of the Mutilated Checkerboard Problem using the Theorema Set Theory Prover

Windsteiger, W. (Speaker)

Research Institute for Symbolic Computation

Activity: Talk or presentation › Contributed talk › unknown

Period	21 Jun 2001
Event title	Calculemus'01 Symposium
Event type	Conference
Location	ItalyShow on map

Fields of science

102001 Artificial intelligence

Related content

Projects
CALCULEMUS - Systems for Integrated Computation and Deduction
Project: Funded research › EU - European Union