<script type="text/javascript"> //<![CDATA[ ord = window.ord || Math.floor(Math.random()*1E16); document.write('<script type="text/javascript" src="http://ad1.netshelter.net/adj/ns.osdir/homepage;kw=;tile=1;dcopt=ist;sz=728x90;ord=' + ord + '?"><\/script>'); //]]> </script> <noscript><a href="http://ad1.netshelter.net/jump/ns.osdir/homepage;kw=;tile=1;sz=728x90;ord=123456789?" target="_blank" ><img src="http://ad1.netshelter.net/ad/ns.osdir/homepage;kw=;tile=1;sz=728x90;ord=123456789?" border="0" alt="" /></a></noscript>
science.mathematics.frogs (thread)
<
Prev Period
]
[
Next Period
>
Workshop on "computational interpretations of proofs"
,
Michel Parigot
<
Prev Period
]
[
Next Period
>
</td> <td valign="top"> <iframe src="http://osdir.com/ml/foot09-bigblock.html" frameborder="0" scrolling="no" width="338px" height="283px">
News
|
FAQ
|
advertise
