Parallel deduction-search algorithm for the predicate logic formulas
Articles
Stasys Norgėla
Vilnius University
Published 1999-12-17
https://doi.org/10.15388/LMD.1999.35641
PDF

How to Cite

Norgėla, S. (1999) “Parallel deduction-search algorithm for the predicate logic formulas”, Lietuvos matematikos rinkinys, 39(III), pp. 317–321. doi:10.15388/LMD.1999.35641.
Crossref
Scopus
Google Scholar
Europe PMC
No. III (1999)

Parallel deduction-search algorithm for the predicate logic formulas

Abstract

There is not abstract.

PDF
Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

Downloads

Download data is not yet available.