请输入您要查询的百科知识:

 

词条 Reasoner (disambiguation)
释义 {{wiktionary|reasoner}}

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
  • USS Reasoner (FF-1063), a Knox class frigate
  • Reasoners Run, a stream in Ohio
  • Solver, software that solves a family of mathematical problems by inferring consequences from logical rules

People:

  • Frank S. Reasoner (1937–1965), United States Marine Corps officer
  • Harry Reasoner (1923–1991), American journalist
  • James Reasoner (21st century), American novelist
  • Marty Reasoner (born 1977), American professional ice hockey center
  • Mike Reasoner (21st century), American politician
  • Ryan Stevens (American composer), who goes by the alias Reasoner
{{disambiguation}}

1 : Surnames

随便看

 

开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。

 

Copyright © 2023 OENC.NET All Rights Reserved
京ICP备2021023879号 更新时间:2024/11/10 22:04:17