Sciweavers

6599 search results - page 42 / 1320
» Towards a Theory of Information
Sort
View
IANDC
1998
72views more  IANDC 1998»
15 years 1 months ago
On the Modelling of Search in Theorem Proving - Towards a Theory of Strategy Analysis
We present a model for representing search in theorem proving. This model captures the notion of contraction, which has been central in some of the recent developments in theorem ...
Maria Paola Bonacina, Jieh Hsiang
TELE
2010
59views more  TELE 2010»
15 years 10 days ago
Towards a critical theory of alternative media
Marisol Sandoval, Christian Fuchs