Блог Сергея Жучкова

неустанное движение вперёд

SKIL

February 19th, 2008 | Рубрики: программирование

Сегодня на одном из собеседований вспомнил, что сюда не списал еще один интересный язык: SKIL (Synthesizing Knowledge in Intuitionistic Logic).
Кстати – весьма занятная и приятна вещица. :)

комментариии {2}

RSS feed

2 Comments

Комментировал Жердин Г. Subscribed to comments via email
2008-02-19 11:46:53

Жаль что не на русском ссылочка

Log in to Reply
 
Комментировал василий
2008-02-19 11:47:23

А есть перевод, мне так “чисто поржать “

Log in to Reply
 

Извините, комментирование в настоящий момент запрещено.