Search Sciweavers | Sciweavers

15 search results - page 1 / 3

» cj 1999

click to vote

CJ
1999

87views more CJ 1999»

Rejoinder

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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers