Search results

Articles (4)

Journals (0)

1-4 of 4 results for automatic deduction theorem

Sort by:

Relevance

Select all

Sort by:

Relevance

Open access

Research article

First published 2016-6

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

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

Advances in Mechanical Engineering

Open access

Research article

First published 2014

Xiaoting Rui, Jianshu Zhang, Qinbo Zhou

Advances in Mechanical Engineering

Retricted access

Research article

First published 2010-5

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

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 1977

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

Fundamenta Informaticae