Phải có Phần mềm Cho Alexander Koller, Stefan Thater and Mi...
Utool là Swiss Army Knife của underspecification.Utool là một công cụ thực hiện các nhiệm vụ khác nhau liên quan đến phạm vi underspecification, một kỹ thuật đặc biệt trong ngữ nghĩa tính toán của ngôn ngữ tự nhiên. Nó thực hiện các giải đã biết hiệu quả...