Listing 1 - 5 of 5 |
Sort by
|
Choose an application
Category theory. Homological algebra --- Géométrie algébrique
Choose an application
Topology --- Functional analysis --- Category theory. Homological algebra --- Congresses --- Topological algebras --- Congresses. --- Mathematics.
Choose an application
Choose an application
Mathematical logic --- Category theory. Homological algebra --- Lambda Calculus --- Intuitionistic Logic --- Computability --- category theory --- Type Theory
Choose an application
Programming --- Category theory. Homological algebra --- Categories (Mathematics) --- Computer programming --- Catégories (Mathématiques) --- Programmation (Informatique) --- Congresses --- Congrès --- 681.3*D21 --- 681.3*D31 --- 681.3*D33 --- 681.3*F3 --- 681.3*F41 --- Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- Logics and meanings of programs (Theory of computation) --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*D33 Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- 681.3*D31 Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- 681.3*D21 Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- Catégories (Mathématiques) --- Congrès --- Software engineering. --- Logic design. --- Computer science. --- Logic, Symbolic and mathematical. --- Software Engineering. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Programming Languages, Compilers, Interpreters. --- Mathematical Logic and Foundations. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering
Listing 1 - 5 of 5 |
Sort by
|