Sciweavers

    3706 search results - page 18 / 742
    » OntoComP System Description
    Sort
    View
    CADE
    2002
    Springer
    142views Logical Reasoning» more  CADE 2002»
    AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description
    16 years 4 months ago
    AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description
    Download  eprints.ecs.soton.ac.uk
    Bernd Fischer 0002, Johann Schumann, Michael W. Wh...
    claim paper
    Read More »
    FLOPS
    2010
    Springer
    246views Automated Reasoning» more  FLOPS 2010»
    Delimited Control in OCaml, Abstractly and Concretely: System Description
    15 years 11 months ago
    Delimited Control in OCaml, Abstractly and Concretely: System Description
    Download  okmij.org
    Oleg Kiselyov
    claim paper
    Read More »
    CADE
    2005
    Springer
    102views Logical Reasoning» more  CADE 2005»
    System Description: Multi A Multi-strategy Proof Planner
    15 years 9 months ago
    System Description: Multi A Multi-strategy Proof Planner
    Download  www.activemath.org
    Andreas Meier, Erica Melis
    claim paper
    Read More »
    JELIA
    2004
    Springer
    129views Artificial Intelligence» more  JELIA 2004»
    Abductive Logic Programming with CIFF: System Description
    15 years 9 months ago
    Abductive Logic Programming with CIFF: System Description
    Download  staff.science.uva.nl
    Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Gi...
    claim paper
    Read More »
    DATE
    2002
    IEEE
    105views Hardware» more  DATE 2002»
    Functional Verification for SystemC Descriptions Using Constraint Solving
    15 years 9 months ago
    Functional Verification for SystemC Descriptions Using Constraint Solving
    Download  www.scarpaz.com
    Fabrizio Ferrandi, Michele Rendine, Donatella Sciu...
    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.