Andrei Voronkov & Christoph Weidenbach (eds.)
Language: English
IT eBooks www.it-ebooks.info
Published: Mar 11, 2013
Description:
Programming Logics