Advertisers
|
Sponsors
|
Computation tree - A computation tree is a representation for the computation steps of a non-deterministic Turing Machine. A computation tree is an acyclic graph of nodes and edges.
Computational tree logic - Computational tree logic (CTL) is a temporal logic. It is often used to express properties of a system in the context of formal verification or model checking.
Institute for Logic, Language and Computation - The Institute for Logic, Language, and Computation (ILLC) is a research institute of the University of Amsterdam, in which researchers from the Faculty of Science and the Faculty of Humanities collaborate.
Bunched logic - Bunched logic is a variety of substructural logic that, like linear logic, has classes of multiplicative and additive operators, but differs from usual proof calculi in having a tree-like context of hypotheses instead of a flat list-like structure; it is thus a calculus of deep inference. Sub- ...
Efficient Symbolic Tools - A BDD based tool for the formal verification of concurrent systems using a propositional branching-time temporal logic: action computation tree logic (ACTL). It runs under different OS, including Linux and Windows 95/98/NT.
ImPRO - Procedures rendered as flowchart and success-logic trees. Process parameters updated. Explanation and download is possible.
C4.5 and FOIL - The home page of R. Quinlan with FTP links to FOIL (inductive logic programming) and C4.5 (learning decision trees). [LGPL]
Source: BazSites.com
Computer From Mathematics People Science Tree - Computer From Mathematics People Science Tree Mathematics and Computer Science III: Algorithms, Trees, Combinatorics and Probabilities Mathematics and Computer Science III: Algorithms, ...
'Computational Linguistics' - 'Computational Linguistics' Knowledge Representation Sowa integrates logic, philosophy, linguistics, 'computational linguistics' and computer science into this study of knowledge 'computational linguistics' and ...
Tree Data Structure - Tree Data Structure Data Structures and Program Design in C++ by Robert L. Kruse, Object-oriented programming tree data structure and powerful features of C++ enable this carefully ... data structures from basic ideas into complete, fully-developed programs tree data structure and interesting applications. In the process, the ...
Combinatory Logic - Combinatory Logic The Syntactic Process by Mark Steedman, In this book Mark ... of a number of problematic syntactic phenomena and a straightforward computational account of the way sentences are mapped onto representations of ... These syntactic operations are related to the combinators of Combinatory Logic, engendering a much freer definition of derivational constituency than ...
Logic Gates Tutorial - Logic Gates Tutorial Digital Logic Design: Tutorial and Laboratory Exercises by John Passafiume, Digital Logic Design Tutorials and Laboratory Exercises John F. Passafiume, Michael Douglas ... in favor of its publication." --Clinton Faulk Ohio State Digital Logic Design: Tutorials and Laboratory Exercises has been designed to ...
Logic Gates Tutorial - Logic Gates Tutorial Digital Logic Design: Tutorial and Laboratory Exercises by John Passafiume, Digital Logic Design Tutorials and Laboratory Exercises John F. Passafiume, Michael Douglas ... in favor of its publication." --Clinton Faulk Ohio State Digital Logic Design: Tutorials and Laboratory Exercises has been designed to ...
Computation in Logic Mathematics Mind Philosophy - Computation in Logic Mathematics Mind Philosophy New Directions in the Philosophy of Mathematics ... By bringing together essays of leading philosophers, mathematicians, logicians, and computer scientists, Thomas Tymoczko reveals an evolving effort to account for ... of mathematics as a field of study, predictions about how computers will influence the future organization of mathematics, and what ...
Computation in Logic Mathematics Mind Philosophy - Computation in Logic Mathematics Mind Philosophy New Directions in the Philosophy of Mathematics ... By bringing together essays of leading philosophers, mathematicians, logicians, and computer scientists, Thomas Tymoczko reveals an evolving effort to account for ... of mathematics as a field of study, predictions about how computers will influence the future organization of mathematics, and what ...
Copyright 2006-2010. Documentation All Rights Reserved.