Beagle as a HOL4 external ATP method (bibtex)
by Thibault Gauthier, Cezary Kaliszyk, Chantal Keller, Michael Norrish
Reference:
Beagle as a HOL4 external ATP method (Thibault Gauthier, Cezary Kaliszyk, Chantal Keller, Michael Norrish), In PAAR-2014 - 4th Workshop on Practical Aspects of Automated Reasoning, 2014. (To appear)
Bibtex Entry:
@InProceedings{conf/paar/GauthierKKN14,
  author =       {Thibault Gauthier and
                  Cezary Kaliszyk and
                  Chantal Keller and
                  Michael Norrish},
  title =        {Beagle as a HOL4 external ATP method},
  booktitle =    {PAAR-2014 - 4th Workshop on Practical Aspects of Automated Reasoning},
  year =         {2014},
  month =        {July},
  note =         {To appear}
}
Powered by bibtexbrowser