This book describes a complementary approach that views logic programs as grammars and shows how this new presentation of the foundations of logic programming, based on the notion of proof trees, can enrich the field.

Под заказ:
	OZON.ru - 8226 руб.	Перейти

Рейтинг книги: 5 из 5, 8 голос(-ов).