Sciweavers

    1948 search results - page 11 / 390
    » Formalizing Mirror Theory
    Sort
    View
    IFIP
    1994
    Springer
    83views Programming Languages» more  IFIP 1994»
    The Theory and Practice of A Formal Method: NewCoRe
    15 years 6 months ago
    The Theory and Practice of A Formal Method: NewCoRe
    Download  spinroot.com
    Gerard J. Holzmann
    claim paper
    Read More »
    87
    Voted
    BIRTHDAY
    2008
    Springer
    84views Applied Computing» more  BIRTHDAY 2008»
    A Framework for Formalizing Set Theories Based on the Use of Static Set Terms
    15 years 3 months ago
    A Framework for Formalizing Set Theories Based on the Use of Static Set Terms
    Download  www.cs.tau.ac.il
    Arnon Avron
    claim paper
    Read More »
    84
    Voted
    AIL
    2010
    87views more  AIL 2010»
    A hybrid formal theory of arguments, stories and criminal evidence
    15 years 2 months ago
    A hybrid formal theory of arguments, stories and criminal evidence
    Download  www.cs.uu.nl
    Floris J. Bex, Peter J. van Koppen, Henry Prakken,...
    claim paper
    Read More »
    CORR
    2010
    Springer
    54views Education» more  CORR 2010»
    Formal Theories for Logspace Counting
    15 years 1 months ago
    Formal Theories for Logspace Counting
    Download  www.cs.utoronto.ca
    Lila Fontes
    claim paper
    Read More »
    90
    Voted
    JODL
    2008
    74views more  JODL 2008»
    Towards a digital library theory: a formal digital library ontology
    15 years 1 months ago
    Towards a digital library theory: a formal digital library ontology
    Download  www.dcs.vein.hu
    Marcos André Gonçalves, Edward A. Fo...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.