Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
functions computation » function computation, functions composition, function composition
programming recursion » programming decision, programming session, programming decisions
programming reasoning » programming learning, programming designing, programming evolving
basics tools » basic tools, tactics tools, based tools
functions computation » function computation, functions composition, function composition
programming recursion » programming decision, programming session, programming decisions
programming reasoning » programming learning, programming designing, programming evolving
basics tools » basic tools, tactics tools, based tools
1
Veröffentlicht 2005
Inhaltsangabe:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Volltext
Elektronisch
E-Book
2
Veröffentlicht 2010
Inhaltsangabe:
“... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”Volltext
Elektronisch
E-Book
3
Veröffentlicht 2006
Inhaltsangabe:
“... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”Volltext
Elektronisch
E-Book
4
Veröffentlicht 2005
Inhaltsangabe:
“... with Different Subspace Classification -- Clustering: Basics -- Using Clustering to Learn Distance Functions...”Volltext
Elektronisch
E-Book