Каталог библиотеки БГТУ

1. Базы данных
2. Книги
3. Авторы
4. Робинсон, Дж.

Книги. Авторы - Робинсон, Дж.

• Логическое программирование
  Робинсон, Дж., Колмероэ, А., Ковальский, Р., Бранохе, М., Ханссон, А., Кларк, К., Хагия, М., Агафонов, В. Н.
  
  Логическое программирование, [Текст], сборник статей : пер. с англ. и фр., под ред. В. Н. Агафонова Москва : Мир , 1988 .- 366, [1] с. .- ил.
• Теория алгорифмов и математическая логика
  Гимон, В. В., Драгалин, А. Г., Канович, М. И., Кучера, А., Матиясевич, Ю., Робинсон, Дж., Минц, Г. Е., Нагорный, Н. М., Петри, Н. В., Плиско, В. Е.
  
  Теория алгорифмов и математическая логика, [Текст], [сборник], Академия наук СССР, Вычислительный центр ; под ред. Б. А. Кушнера, Н. М. Нагорного Москва : Вычислительный центр АН СССР , 1974 .- 216 с. .- [1] л. ил. Посвящается А. А. Маркову к его семидесятилетию .-