Отзыв о сделке по лоту Математическая логика и автоматическое доказательство теорем, Ч. Чень, Р. Ли, Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен....(644)

Отзыв (19 март 2024 12:12):
От кого:
Аватарка
Julianna-cher
MIXMAX8413(продавец)
→
На кого:
Аватарка
Stilgar
1(покупатель)

все ок)) спасибо)

К сделке по лоту:
Математическая логика и автоматическое доказательство теорем, Ч. Чень, Р. Ли, Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен....(644)
Дата сделки:
18 март 2024 21:15