搜尋書籍

Logic for programming, artific... 手動新增

edited by Nikolaj Bjorner, Andrei Voronkov.

Springer Berlin Heidelberg

Perspectives of systems inform... 手動新增

edited by Amir Pnueli, Irina Virbitskaite, Andrei Voronkov.

Springer Berlin Heidelberg

Perspectives of systems inform... 手動新增

edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov.

Springer Berlin Heidelberg

Logic for Programming, Artific... 手動新增

edited by Geoff Sutcliffe, Andrei Voronkov.

Springer-Verlag GmbH.

Logic for Programming, Artific... 手動新增

edited by Franz Baader, Andrei Voronkov.

Springer-Verlag GmbH.

Rewriting Techniques and Appli... 手動新增

edited by Andrei Voronkov.

Springer-Verlag Berlin Heidelberg