Каталог "Книги" | Книги .(02)

Isabelle

A Generic Theorem Prover

Lawrence C. Paulson

44132

Издателство

Springer

Местоиздаване

Berlin etc.

Година на издаване

1994

Страници

321 p.

Класификационен индекс

УДК	Значение
519.6/.8	Изчислителна математика. Числен анализ и програмиране (машинна математика)/ Изследване на операциите

ISBN

3-540-58244-4

Отрасъл

Математика

Системен №

12740

Допълнителна сигнатура

P 33

Инвентаризация

Статус	Брой
Фил. Математика (МАТ)	1

Виж още

Beverley Collins; Inger M. Mees; Paul Carley (2019)

Младен Маринов Найденов (2015)

Mary Snell-Hornby (2006)

Екатерина Иванова Петкова (2011)

Peter Barry (2009)

(2010)