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

gollark: Just have MANY error correction codes.
gollark: > null termination
gollark: SQLite is suitable for *all* things, including archive formats.
gollark: Or just use SQLite (praise be).
gollark: I would probably make the headers msgpack-based or something.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.