本文に飛ぶ

年 〜
年

検索結果 3 件

Graph-based proof procedures for horn clauses

Graph-based proof procedures for horn clauses
紙図書
Stan RaatzBirkhaüser1990
全国の図書館
  • 件名Logic programming Horn clauses Graph theory
  • 件名（識別子）Logic programming Horn clauses Graph theory

Computing in Horn clause theories : gw : us

Computing in Horn clause theories : gw : us
紙図書
Peter PadawitzSpringer-Verlagc1988
全国の図書館
  • 件名Logic programming Horn clauses
  • 件名（識別子）Logic programming Horn clauses

Logic and computer science

Logic and computer science
紙図書
edited by Piergiorgio OdifreddiAcademic Pressc1990
全国の図書館
  • 件名Logic programming Horn clauses Automatic theorem proving Nup...
  • 件名（識別子）Logic programming Horn clauses Automatic theorem proving Nup...

検索結果は以上です。

RSS