 |
Terms for subject Artificial intelligence containing International Workshop on | all forms | exact matches only | in specified order only
| English | Russian |
| international workshop on satisfiability modulo theories | международный семинар по решению задач выполнимости формул в теориях (Alex_Odeychuk) |