Learning Strategies for Mechanised Building of Decision Procedures
From MaRDI portal
Publication:4916230
DOI10.1016/S1571-0661(04)80662-5zbMath1261.68103OpenAlexW1966217052WikidataQ62046892 ScholiaQ62046892MaRDI QIDQ4916230
Predrag Janičić, Mateja Jamnik
Publication date: 19 April 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80662-5
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Uses Software
Cites Work
This page was built for publication: Learning Strategies for Mechanised Building of Decision Procedures