Sciweavers

    48 search results - page 1 / 10
    » jar 2006
    Sort
    View
    104
    Voted
    JAR
    2000
    87views more  JAR 2000»
    Managing Structural Information by Higher-Order Colored Unification
    15 years 3 months ago
    Managing Structural Information by Higher-Order Colored Unification
    Download  kwarc.info
    Dieter Hutter, Michael Kohlhase
    claim paper
    Read More »
    114
    Voted
    JAR
    2000
    50views more  JAR 2000»
    Single Step Tableaux for Modal Logics
    15 years 3 months ago
    Single Step Tableaux for Modal Logics
    Download  www.ing.unitn.it
    Fabio Massacci
    claim paper
    Read More »
    100
    Voted
    JAR
    2002
    67views more  JAR 2002»
    Hilbert's Twenty-Fourth Problem
    15 years 3 months ago
    Hilbert's Twenty-Fourth Problem
    Download  www.maa.org
    Ruediger Thiele, Larry Wos
    claim paper
    Read More »
    91
    Voted
    JAR
    2002
    75views more  JAR 2002»
    A New Implementation of Automath
    15 years 3 months ago
    A New Implementation of Automath
    Download  www.cs.ru.nl
    Freek Wiedijk
    claim paper
    Read More »
    96
    Voted
    JAR
    1998
    61views more  JAR 1998»
    A New Approach for Automatic Theorem Proving in Real Geometry
    15 years 3 months ago
    A New Approach for Automatic Theorem Proving in Real Geometry
    Download  redlog.dolzmann.de
    Andreas Dolzmann, Thomas Sturm, Volker Weispfennin...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.