Pesquisas alternativas:
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
Publicado em 2010
Sumário: ... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2008
Sumário: ... -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2014
Sumário: ... Self-dual Codes of Length 32 -- Magma Implementation of Decoding Algorithms for General Algebraic...
Obter o texto integral
Recurso Electrónico livro electrónico