Sciweavers

21984 search results - page 417 / 4397
» C
Sort
View
IGPL
2010
82views more  IGPL 2010»
15 years 5 months ago
Multimodal and intuitionistic logics in simple type theory
Christoph Benzmüller, Lawrence C. Paulson
INFFUS
2010
96views more  INFFUS 2010»
15 years 5 months ago
Special Issue on Biologically-Inspired Information Fusion
Matthew C. Casey, Robert I. Damper