has abstract
Matt Kaufmann is a Senior Rese ...... he Boyer-Moore Theorem Prover.
@en
known for
occupation
Link from a Wikipage to an external page
Wikipage page ID
14,858,148
Wikipage revision ID
745,016,500
Caption
Matt Kaufmann with J Strother Moore 2006
nationality
description
American computer scientist
@en
subject
comment
Matt Kaufmann is a Senior Rese ...... he Boyer-Moore Theorem Prover.
@en
label
Matt Kaufmann
@en
wasDerivedFrom
gender
male
@en
givenName
Matt
@en
isPrimaryTopicOf
name
Matt Kaufmann
@en
surname
Kaufmann
@en