Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming reasoning » programming learning, programming designing, programming evolving
computing programming » computer programming, computers programming
functions computing » function computing, functions combining, functions computer
reasoning basic » reasoning based, reasoning case, reasoning ais
programming reasoning » programming learning, programming designing, programming evolving
computing programming » computer programming, computers programming
functions computing » function computing, functions combining, functions computer
reasoning basic » reasoning based, reasoning case, reasoning ais
1
Published 2005
Table of Contents:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...”View full text
Electronic
eBook
5
6
Published 2008
Table of Contents:
“... Semantics -- SESA Services -- Reasoning -- Discovery -- Selection -- Mediation -- Storage and Internal...”View full text
Electronic
eBook
7
Table of Contents:
“...Preface -- Introduction -- Chap. 1 Classical Ciphers -- Chap. 2 Basic Concepts -- Chap. 3 Private...”
View full text
View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... Social Modeling and Simulation with Fuzzy Sets -- Stage-Dependent Fuzzy-valued Loss Function in Two-Stage...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... with Different Subspace Classification -- Clustering: Basics -- Using Clustering to Learn Distance Functions...”View full text
Electronic
eBook
10
by El-Harbawi, Mohanad M-A.
Published 2006
“.... The applications of these models require competency in mathematics and computer programming. Therefore...”Published 2006
View full text
Thesis
11
by El-Harbawi, Mohanad M-A.
Published 2006
“.... The applications of these models require competency in mathematics and computer programming. Therefore...”Published 2006
View full text
Thesis