Доказательство теоремы Ламбека
otherentity
ID: lambektheoremproving
Related Papers
Algorithms for Generation in Lambek Theorem Proving
We discuss algorithms for generation within the Lambek Theorem Proving Framework. Efficient algorithms for generation in this framework take a semantics-driven strategy. This strategy can be modeled by means of …...