Sciweavers

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