Open AccessWhy3: Shepherd Your Herd of Provers
Author(s) -
François Bobot,
Jean-Christophe Filliâtre,
Claude Marché,
Andrei Paskevich
Publication year - 2011
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , herd , artificial intelligence , computer graphics (images) , biology , zoology