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