Wytse Oortwijn walks us through an official natural language specification of a Dutch tunnel, pointing out that it uses first-order quantifiers! The #ifm19 audience approves. @iFMconfpic.twitter.com/3lYHXoe3n9
08:09 - 4. pro 2019.
0 replies
1 proslijeđeni tweet
4 korisnika označavaju da im se sviđa
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.