Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
functions computational » function computation, directions computational, section computational
functions computation » function computation, functions composition, function composition
programming deductive » programming inductive, programming deduction, programming reactive
deductive methods » deductive method, destructive methods, predictive methods
methods classes » methods atlases, methods case, methods charles
functions computational » function computation, directions computational, section computational
functions computation » function computation, functions composition, function composition
programming deductive » programming inductive, programming deduction, programming reactive
deductive methods » deductive method, destructive methods, predictive methods
methods classes » methods atlases, methods case, methods charles
1
Julkaistu 2005
Sisällysluettelo:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2005
Sisällysluettelo:
“... Contexts -- Proof Contexts with Late Binding -- The -Calculus. Functional Programming with Higher-Order...”Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2015
Sisällysluettelo:
“... Generation Tools for the B-Method Using Tests: a Case Study -- Software Validation via Model Animation...”Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2010
Sisällysluettelo:
“... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”Hae kokoteksti
Elektroninen
E-kirja
5
Julkaistu 2008
Sisällysluettelo:
“... Programs for Representing Ontology Mappings -- Using Transversals for Discovering XML Functional...”Hae kokoteksti
Elektroninen
E-kirja
6
Julkaistu 2008
Sisällysluettelo:
“... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”Hae kokoteksti
Elektroninen
E-kirja