Sciweavers

15 search results - page 1 / 3
» cj 1999
Sort
View
85
Voted
CJ
1999
87views more  CJ 1999»
15 years 24 days ago
Rejoinder
Jorma Rissanen
112
Voted
CJ
1999
129views more  CJ 1999»
15 years 24 days ago
Animating Formal Proof at the Surface: The Jape Proof Calculator
Richard Bornat, Bernard Sufrin
82
Voted
CJ
1999
76views more  CJ 1999»
15 years 24 days ago
Kolmogorov Complexity: Sources, Theory and Applications
Alexander Gammerman, Vladimir Vovk