Rechnerunterstutzung formaler Beweissprachen

Monogr.

Matthias Anlauff

ЦБ Пр II 160

Издателство

R.Oldenbourg Verlag

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

Munchen/Wien

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

1995

Страници

162 p

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

УДК	Значение
51(05)	51(05) --> от ISIS без текст

ISBN

3-486-23396-3

Отрасъл

Математ. науки. ЕИМ

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

Статус	Брой
отчислен	1

Anlauff, Matthias Rechnerunterstutzung formaler Beweissprachen, R.Oldenbourg Verlag, 1995, 162 p, 3-486-23396-3.

Anlauff, Matthias. Rechnerunterstutzung formaler Beweissprachen. Munchen/Wien: R.Oldenbourg Verlag, 1995, 162 p, 3-486-23396-3.

Anlauff, Matthias (1995) Rechnerunterstutzung formaler Beweissprachen, Munchen/Wien: R.Oldenbourg Verlag, 162 p, 3-486-23396-3