Англо-український комп'ютерний словник
FIRST-ORDER LOGIC
числення предикатів першого порядку
Ви можете поставити посилання на це слово:

матиме такий вигляд: FIRST-ORDER LOGIC


матиме такий вигляд: Що таке FIRST-ORDER LOGIC