Опис: Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings / Frank Pfenning (ed.).

Summary goes here

Збережено в:

Бібліографічні деталі
Формат:	Книга
Мова:	Англійська
Предмети:	Logic programming Automatic theorem proving Programmation logique Théorèmes Automatic theorem proving. Logic programming. Automatisches Beweisverfahren Logische Programmierung Kiew <1994> Kongreß Conference papers and proceedings. Kiew (1994)
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!