ALGORITHMS FOR GENERATION IN LAMBEK THEOREM PROVING

Erik-Jan van der Linden | Guido Minnen |

Paper Details:

Month: June
Year: 1990
Location: Pittsburgh, Pennsylvania, USA
Venue: ACL |