Our paper "An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers" has been accepted for PPDP 2018. The paper is joint work of @sylviagrewe, @seba0_ , André Pacak, and @m_mezini . Congratulations
http://ppdp-lopstr-18.cs.uni-frankfurt.de/ppdp18.html#accepted …
03:46 - 28. lip 2018.
0 replies
2 proslijeđena tweeta
9 korisnika označava 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.