Sciweavers

3928 search results - page 8 / 786
» order 2006
Sort
View
JAR
2000
87views more  JAR 2000»
13 years 9 months ago
Managing Structural Information by Higher-Order Colored Unification
Dieter Hutter, Michael Kohlhase
JSYML
2000
45views more  JSYML 2000»
13 years 9 months ago
Topological Completeness for Higher-Order Logic
Steven Awodey, Carsten Butz
NECO
2000
55views more  NECO 2000»
13 years 9 months ago
Clustering Irregular Shapes Using High-Order Neurons
Hod Lipson, Hava T. Siegelmann