Ian Pratt-hartmann's interests
Ian Pratt-hartmann's interests
ian pratt-hartmann
Ian
Pratt-hartmann
Mathematics
Mathematics
ian pratt-hartmann--Mathematics
Formal methods
Formal methods
ian pratt-hartmann--Formal methods
Symbolic computation
Symbolic computation
ian pratt-hartmann--Symbolic computation
Algebra
Algebra
ian pratt-hartmann--Algebra
Logic
Logic
ian pratt-hartmann--Logic
Automated reasoning
Automated reasoning
ian pratt-hartmann--Automated reasoning
Natural language
Natural language
ian pratt-hartmann--Natural language