|
New
Generation Computing
November 2005 | ![]() |
|
Regular Papers P
Transducers A
Hybrid Reasoning System for Terminologies and First-order Clauses in Knowledge
Bases Static
Extensivity Analysis for λ-Definable Functions over Lattices Tutorial Tutorial
on Brain-Inspired Computing |