Sciweavers

A 'Natural Logic' inference system using the Lambek calculus
Recent countries visiting this post
A 'Natural Logic' inference system using the Lambek calculus
ru1Russian Federation