Sciweavers

    12993 search results - page 273 / 2599
    » Artificial Intelligence in China
    Sort
    View
    AISC
    2010
    Springer
    284views Artificial Intelligence» more  AISC 2010»
    Proviola: A Tool for Proof Re-animation
    15 years 8 months ago
    Proviola: A Tool for Proof Re-animation
    Download  www.cs.ru.nl
    Carst Tankink, Herman Geuvers, James McKinna, Free...
    claim paper
    Read More »
    AISC
    2008
    Springer
    69views Artificial Intelligence» more  AISC 2008»
    Herbrand Sequent Extraction
    15 years 8 months ago
    Herbrand Sequent Extraction
    Download  www.logic.at
    Stefan Hetzl, Alexander Leitsch, Daniel Weller, Br...
    claim paper
    Read More »
    AISC
    2008
    Springer
    68views Artificial Intelligence» more  AISC 2008»
    Specifying Strategies for Exercises
    15 years 8 months ago
    Specifying Strategies for Exercises
    Download  ideas.cs.uu.nl
    Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen...
    claim paper
    Read More »
    AUSAI
    2008
    Springer
    79views Artificial Intelligence» more  AUSAI 2008»
    Introspective Forgetting
    15 years 8 months ago
    Introspective Forgetting
    Download  ai.stanford.edu
    Hans P. van Ditmarsch, Andreas Herzig, Jér&...
    claim paper
    Read More »
    CEC
    2008
    IEEE
    114views Artificial Intelligence» more  CEC 2008»
    An overview of Genetic Algorithms in simulation soccer
    15 years 8 months ago
    An overview of Genetic Algorithms in simulation soccer
    Download  www.eng.osakafu-u.ac.jp
    W. R. Plant, Gerald Schaefer, Tomoharu Nakashima
    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.