Search Sciweavers | Sciweavers

115 search results - page 9 / 23

» cj 2008

click to vote

CJ
1999

129views more CJ 1999»

Animating Formal Proof at the Surface: The Jape Proof Calculator

13 years 7 months ago

Download jape.comlab.ox.ac.uk

Richard Bornat, Bernard Sufrin

claim paper

Read More »

click to vote

CJ
1999

76views more CJ 1999»

Kolmogorov Complexity: Sources, Theory and Applications

13 years 7 months ago

Download minerva.ufpel.tche.br

Alexander Gammerman, Vladimir Vovk

claim paper

Read More »

click to vote

CJ
1999

72views more CJ 1999»

Integrating a Program Design Calculus and a Subset of UML

13 years 7 months ago

Download www-users.cs.york.ac.uk

Richard F. Paige

claim paper

Read More »

click to vote

CJ
1999

87views more CJ 1999»

Rejoinder

13 years 7 months ago

Download www.econ.brown.edu

Jorma Rissanen

claim paper

Read More »

click to vote

CJ
1999

75views more CJ 1999»

O(1) Time Algorithms for Combinatorial Generation by Tree Traversal

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers