Reasoner (disambiguation)

A reasoner is a piece of software able to infer logical consequences from a set of asserted facts or axioms.

Reasoner may also refer to:

  • 20474 Reasoner, a main-belt asteroid
  • New Reasoner, a political magazine
  • Reasoners Run, a stream in Ohio, U.S.
  • Solver, software that solves a family of mathematical problems by inferring consequences from logical rules
  • USS Reasoner (FF-1063), a Knox class frigate

People with the surname

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.