Besonderhede van voorbeeld: -6193318402362259748

Metadata

Author: WikiMatrix

Data

English^[en]

The logical paradigm was epitomized by uniform proof procedure resolution theorem provers .

Persian^[fa]

رویکرد منطقی نیز به روش اثبات یکنواخت حل قضیه resolution theorem provers پیاده شد.

History

Your action: