scientific article; zbMATH DE number 1759674

MaRDI QIDQ4536677zbMATH OpenFDO

Authors Tristan Cazenave

Publication date 28 July 2002

zbMATH Keywords

capture gamecomputer Gosearchtheorem proving

Mathematics Subject Classification ID

2-person games (91A05) Experimental studies (91A90)

Recommendations

• scientific article; zbMATH DE number 4164177
• Proof theory in the abstract
• Abstractions from proofs
• scientific article; zbMATH DE number 3900184
• scientific article; zbMATH DE number 1088028
• scientific article; zbMATH DE number 1390270
• Notes towards a semantics for proof-search
• Abstract cyclic proofs
• Abstract proof checking: An example motivated by an incompleteness theorem

Cited in

(6)

• Global and local game tree search
• Using Artificial Boundaries in the Game of Go
• A New Proof-Number Calculation Technique for Proof-Number Search
• scientific article; zbMATH DE number 1759673 (Why is no real title available?)
• scientific article; zbMATH DE number 1759692 (Why is no real title available?)
• scientific article; zbMATH DE number 2086967 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4536677)