Вы здесь

A Predicate Transformer Approach to Knowledge and Knowledge-based Protocols

Автор: 
Количество экземпляров: 
1
Колл. автор: 
Вид: 
Препринт
Год: 
1991
Стр.: 
12 p.
Библиография: 
Bibliogr.: p.11-12
Место издания: 
Карточка: 

Б2.1, Б2.4, Б2.54.

Sanders B..

A Predicate Transformer Approach to Knowledge and Knowledge-based Protocols-Zurich., 1991.-12 p.
Bibliogr.: p.11-12

Таблица в старой библиотеке: 
PREP3 1