Recent developments in mega's proof search programming language
Serge Autexier, Dominik Dietrich · ACM communications in computer algebra · 2010
research-article Share on Recent developments in mega's proof search programming language Authors: Serge Autexier German Research Centre for Artificial Intelligence Bremen (DFKI) German Research Centre for Artificial Intelligence Bremen (DFKI)View Profile , Dominik Dietrich German Research Centre for Artificial Intelligence Bremen (DFKI) German Research Centre for Artificial Intelligence Bremen (DFKI)View Profile Authors Info & Claims ACM Communications in Computer AlgebraVolume 44Issue 1/2March/June 2010 pp 52–59https://doi.org/10.1145/1838599.1838623Online:29 July 2010Publication History 0citation54DownloadsMetricsTotal Citations0Total Downloads54Last 12 Months2Last 6 weeks0 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access