熱門搜尋
您輸入的關鍵字: Voronkov
搜尋結果共 47 筆, 頁數 1 / 1
呈現:
The third volume of Sergey Voronkov’s epic tale takes the reader on a historical journey through the late Stalinist...... more
This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics C... more
This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov M... more
This book constitutes the thoroughly refereed post-conference proceedings of the 16th International ... more
Constitutes the refereed proceedings of the 17th International Conference on Logic for Programming, ... more
This volume contains the ?nal proceedings of the 7th International Andrei Ershov Memorial Conference... more
This book constitutes the refereed proceedings of the 15th International Conference on Logic for Pro... more
Buchberger. April 2008 Andrei Voronkov Conference Organisation General Chair Bruno Buchberger (Johannes Kepler University Linz...... more
This book constitutes the refereed proceedings of the 14th International Conference on Logic for Pro... more
This book constitutes the refereed proceedings of the 13th International Conference on Logic for Pro... more
This volume containsthe full papers presentedat the 12th InternationalConf- ence on Logic for Progra... more
ThisvolumecontainsthepaperspresentedattheTenthInternationalConference on Logic for Programming, Arti... more
The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth I... more
This book constitutes the refereed proceedings of the 12th International Andrei P. Ershov Informatic... more
This book constitutes the proceedings of the 19th International Conference on Logic for Programming,... more
This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues... more
This volume contains the ?nal proceedings of the Sixth International Andrei Ershov Memorial Conferen... more
LPAR is an international conference series aimed at bringing together researchers interested in logi... more
In this book, David Bronstein describes the chess personalities he has met in various countries over... more
This volume contains the papers presented at the 11th International Conference on Logic for Programm... more
Automated reasoning has matured into one of the most advanced areas ofcomputer science. It is used i... more