Extending the tptp language to higher-order logic with automated parser generation

From Semantic Portal Wiki

Jump to: navigation, search

{{#vardefine:category|Publication}}{{#vardefine:templatename|i.publication}}{{#vardefine:package|smwbp_instance_templates}}

Edit

Reference: {{#vardefine:pagename|extending the tptp language to higher-order logic with automated parser generation }}

  1. [[]]

bibtex 

{{#vardefine:pagename|Extending the tptp language to higher-order logic with automated parser generation }}{{#vardefine:key| }}

abstract:


download:

  • paper:
  • slides:
Retrieved from "http://tw.rpi.edu/portal/Extending_the_tptp_language_to_higher-order_logic_with_automated_parser_generation"
Facts about Extending the tptp language to higher-order logic with automated parser generationRDF feed
AuthorAllen Van Gelder  +, and Geoff Sutcliffe  +
Bibtypeinproceedings  +
BooktitleIJCAR  +
Doihttp://dx.doi.org/10.1007/11814771_15  +
Keydblp:conf/cade/gelders06  +
Pages156-161  +
Sourcehttp://dblp.uni-trier.de/rec/bibtex/conf/cade/GelderS06  +
TagComputer science  +
TitleExtending the TPTP Language to Higher-Order Logic with Automated Parser Generation  +
Year2006  +
Personal tools
Semantic Web Community
Tetherless World constellation
maintenance