Extensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III (Dissertations in Artificial Intelligence)Alexander Steen

Extensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III (Dissertations in Artificial Intelligence)

Name: Extensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III (Dissertations in Artificial Intelligence)
ISBN: 9781614999195

Alexander Steen · 2018

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

Book details

Year: 2018
Language: English
Publisher: SAGE Publications, Limited
Editions: 1
ISBN: 9781614999195

Data source: Wikidata