Foreslåede emner i din søgning.
Søg alternativer:
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
Omslagsbillede
Udgivet 2010
Indholdsfortegnelse: “... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
2
Omslagsbillede
Udgivet 2008
Indholdsfortegnelse: “... -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
3
Omslagsbillede
Udgivet 2014
Indholdsfortegnelse: “... Self-dual Codes of Length 32 -- Magma Implementation of Decoding Algorithms for General Algebraic...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
Søgeredskaber: ”Modtag RSS Feed — Email denne søgning — Gem søgning