Search results

Articles (4)

Journals (0)

1-4 of 4 results for automatic deduction theorem

Sort by:

Relevance

Select all

Sort by:

Relevance

Open accessResearch articleFirst published June, 2016

Study on automatic deduction method of overall transfer equation for branch multibody system

Xue Rui, Guoping Wang, Jianshu Zhang [...]

Advances in Mechanical Engineering

Open accessResearch articleFirst published 2014

Automatic Deduction Theorem of Overall Transfer Equation of Multibody System

Xiaoting Rui, Jianshu Zhang, Qinbo Zhou

Advances in Mechanical Engineering

Restricted accessResearch articleFirst published May, 2010

An application of automated reasoning in natural language question answering

Ulrich Furbach, Ingo Glöckner, Björn Pelzer

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published 1977

PPC (Pisa Proof Checker): a tool for experiments in theory of proving and mathematical theory of computation

Luigia Aiello, Mario Aiello, Giuseppe Attardi [...]

Fundamenta Informaticae

Search results

Articles (4)

Journals (0)

1-4 of 4 results for automatic deduction theorem

Sort by:

Relevance

Select all

Sort by:

Relevance

Open accessResearch articleFirst published June, 2016

Study on automatic deduction method of overall transfer equation for branch multibody system

Xue Rui, Guoping Wang, Jianshu Zhang [...]

Advances in Mechanical Engineering

Open accessResearch articleFirst published 2014

Automatic Deduction Theorem of Overall Transfer Equation of Multibody System

Xiaoting Rui, Jianshu Zhang, Qinbo Zhou

Advances in Mechanical Engineering

Restricted accessResearch articleFirst published May, 2010

An application of automated reasoning in natural language question answering

Ulrich Furbach, Ingo Glöckner, Björn Pelzer

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published 1977

PPC (Pisa Proof Checker): a tool for experiments in theory of proving and mathematical theory of computation

Luigia Aiello, Mario Aiello, Giuseppe Attardi [...]

Fundamenta Informaticae