This task, known as automatic proof verification, is closely related to automated theorem proving.
A computerized version of the task known as "cyberball" has also been developed and leads to similar results.
In computing, multitasking is a method where multiple tasks, also known as processes, are performed during the same period of time.
When boards fail the test, technicians may desolder and replace failed components, a task known as rework.
Next to survival, Tomkies presents photography as the knottiest task known to man.
Each nation provides a company of men for this task, known as Key Company.
One is the ability to run complex automated tasks known as scripts across multiple Macs across the Internet.
The same holds for the task of transforming an arbitrary polarization into a fixed, known one.
For many years, students at St. Stephen's were also assigned tasks known as 'school keeping' and 'table waiting.'
Evey day, someone has to do a task known as a "bush trucker trial".