Tìm kiếm thay thế:
general propositional » general prepositions, temporal propositional, central propositions
propositional program » compositional program, propositional proof, propositional proofs
program program » programs program, programming program
program java » program jarak, program a, program jom
https » http
1
Được phát hành 2010
Mục lục: ... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...
lấy văn bản
Điện tử eBook
2
Được phát hành 2008
Mục lục: ... -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating...
lấy văn bản
Điện tử eBook
3
Được phát hành 2014
Mục lục: ... Self-dual Codes of Length 32 -- Magma Implementation of Decoding Algorithms for General Algebraic...
lấy văn bản
Điện tử eBook