|
Поиск атрибутный
| |
|
|
|
Petri Net Inference for data processing
Аннотация
An idea of propositional calculus and first-order logic representation via interpreted Petri nets is suggested. The representation promises an effective implementa- tion by both software and hardware. Ключевые слова
Logical Inference, Interpreted Petri Nets, Predicate Logic |
|