Sciweavers

46 search results - page 1 / 10

» cade 2007

10

CADE
2007
Springer

120views Logical Reasoning» more CADE 2007»

Improvements in Formula Generalization

14 years 4 months ago

Improvements in Formula Generalization

Download www.cs.bham.ac.uk

Markus Aderhold

claim paper

Read More »

5

CADE
2007
Springer

117views Logical Reasoning» more CADE 2007»

Logical Engineering with Instance-Based Methods

14 years 4 months ago

Logical Engineering with Instance-Based Methods

Download users.rsise.anu.edu.au

Peter Baumgartner

claim paper

Read More »

11

CADE
2007
Springer

125views Logical Reasoning» more CADE 2007»

A Mechanization of Phylogenetic Trees

14 years 4 months ago

A Mechanization of Phylogenetic Trees

Download sunsite.informatik.rwth-aachen.de

Mamoun Filali

claim paper

Read More »

7

CADE
2007
Springer

95views Logical Reasoning» more CADE 2007»

Handling Polymorphism in Automated Deduction

14 years 4 months ago

Handling Polymorphism in Automated Deduction

Download www.lri.fr

Jean-François Couchot, Stéphane Lesc...

claim paper

Read More »

10

CADE
2007
Springer

149views Logical Reasoning» more CADE 2007»

Fully Verified Java Card API Reference Implementation

14 years 4 months ago

Fully Verified Java Card API Reference Implementation

Download i12www.ira.uka.de

Wojciech Mostowski

claim paper

Read More »

« Prev « First page 1 / 10 Last » Next »