Nelson Rushton is an author at Texas Tech University specializing in knowledge representation, formal verification, and probability theory.
Top concepts
SemanticsEngineeringProbabilityFormal MethodsComputer ScienceLogic ProgrammingAutomated ReasoningFormal VerificationKnowledge CompilationKnowledge Representation
Publications per year
2009–2009
1
1
Rows per page
1–1 of 1