Вы здесь

Using Classical Theorem-Proving Techniques for Approximate Reasoning: Revised Report

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1995
Стр.: 
P.389-398
Библиография: 
Bibliogr.: p.398
Место издания: 
Том: 
945
Карточка: 

В2.11.

Bruning S., Schaub T..

Using Classical Theorem-Proving Techniques for Approximate Reasoning: Revised Report-Berlin, Heidelberg.// Advances in Intelligent Computing - IPMU 94, 1995.-Vol. 945.-P.389-398-(Lecture Notes in Computer Science).
Bibliogr.: p.398

Таблица в старой библиотеке: 
PAP13 12