Search Sciweavers | Sciweavers

15 search results - page 1 / 3

» cj 1999

click to vote

CJ
1999

87views more CJ 1999»

Rejoinder

13 years 10 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 10 months ago

Download www.cosc.canterbury.ac.nz

Tadao Takaoka

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 10 months ago

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

Richard F. Paige

claim paper

Read More »

click to vote

CJ
1999

129views more CJ 1999»

Animating Formal Proof at the Surface: The Jape Proof Calculator

13 years 10 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 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers