[Nikolaj Bjorner, Irina Virbitskaite, Andrei Voronkov]
TP3
9783030374860 EUR57.99
Springer Nature Switzerland Ag 2019-12-14 Paperback
logics and meanings of programs
1 共有: 1条记录