John Tromp
http://dbpedia.org/resource/John_Tromp an entity of type: Thing
John Tromp is a Dutch computer scientist. He formerly worked for Dutch Centre for Mathematics and Computer Science. Tromp discovered the number of legal states of the board game Go, and co-authored with Bill Taylor the Tromp-Taylor Rules, which they call "the logical rules of Go". He is also known for Binary combinatory logic (Binary lambda calculus).
rdf:langString
rdf:langString
John Tromp
xsd:integer
56166714
xsd:integer
1060582097
rdf:langString
John Tromp is a Dutch computer scientist. He formerly worked for Dutch Centre for Mathematics and Computer Science. Tromp discovered the number of legal states of the board game Go, and co-authored with Bill Taylor the Tromp-Taylor Rules, which they call "the logical rules of Go". He is also known for Binary combinatory logic (Binary lambda calculus).
xsd:nonNegativeInteger
1852