| Title | Parallel deduction-search algorithm for the predicate logic formulos |
|---|---|
| Authors | Norgėla, Stanislovas Leonas |
| DOI | 10.15388/LMD.1999.35641 |
| ISBN | 9986053684 |
| Full Text |
|
| Is Part of | Lietuvos matematikų draugijos mokslo darbai : specialus "Lietuvos matematikos rinkinio" priedas.. Vilnius : Technika, 1999. t. 3, p. 317-321.. ISSN 0132-2818. ISBN 9986053684 |
| Published | Vilnius : Technika, 1999 |
| Type | Journal article |
| Language | English |
| Publication date | 1999 |
| CC license |
|