Missing/wrong data? Edit Wikidata item
Translating Higher-Order Clauses to First-Order Clauses
article by Jia Meng & Lawrence Paulson published 15 September 2007 in Journal of Automated Reasoning
Author/s
Work details
Publication date:
September 15, 2007
Language:
English
Copyright status
Copyright status information is not available for this work. The copyright status depends on the jurisdiction, the author's date of death and the date the work was created or published.
To learn more about copyright terms in different countries, visit the countries and terms page.