Perspectives of System InformaticsNikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov · First published 2015Open the Tome
Logic For Programming Artificial Intelligence And Reasoning 18th International Conference Lpar18 Merida Venezuela March 1115 2012 ProceedingsAndrei Voronkov · First published 2012Open the Tome
Logic for Programming, Artificial Intelligence, and ReasoningKen McMillan, Aart Middeldorp, Andrei Voronkov · First published 2012Open the Tome
Logic for Programming, Artificial Intelligence, and ReasoningAndrei Voronkov,Miki Hermann · First published 2008Open the Tome
Logic for Programming, Artificial Intelligence, and ReasoningAndrei Voronkov,Geoff Sutcliffe · First published 2008Open the Tome
Logic for Programming, Artificial Intelligence, and ReasoningAndrei Voronkov,Franz Baader · First published 2008Open the Tome
Computer Science - Theory and ApplicationsVolker Diekert, Mikhail Volkov, Andrei Voronkov · First published 2007Open the Tome
Perspectives of systems informaticsAndrei Voronkov, Irina Virbitskaite · First published 2007Open the Tome
Logic for programming, artificial intelligence, and reasoningAndrei Voronkov · First published 2006Open the Tome
Logic for programming artificial intelligence and reasoningMoshe Y. Vardi, Andrei Voronkov · First published 2003Open the Tome
Logic for programming, artificial intelligence, and reasoningMatthias Baaz, Andrei Voronkov · First published 2002Open the Tome
Logic for programming and automated reasoningHarald Ganzinger, David McAllester, Andrei Voronkov · First published 1999Open the Tome
