Jump to main content

yr 〜
yr

Search results 3

Graph-based proof procedures for horn clauses

Graph-based proof procedures for horn clauses
Paper図書
Stan RaatzBirkhaüser1990
Other Libraries in Japan
  • Subject HeadingLogic programming Horn clauses Graph theory
  • Subject Heading (ID)Logic programming Horn clauses Graph theory

Computing in Horn clause theories : gw : us

Computing in Horn clause theories : gw : us
Paper図書
Peter PadawitzSpringer-Verlagc1988
Other Libraries in Japan
  • Subject HeadingLogic programming Horn clauses
  • Subject Heading (ID)Logic programming Horn clauses

Logic and computer science

Logic and computer science
Paper図書
edited by Piergiorgio OdifreddiAcademic Pressc1990
Other Libraries in Japan
  • Subject HeadingLogic programming Horn clauses Automatic theorem proving Nup...
  • Subject Heading (ID)Logic programming Horn clauses Automatic theorem proving Nup...

Reached to the end of result.

RSS