Related Tags

abstracting abstraction action adaptability ai algebraic aop automata bias biops branching-time branching-time-temporal-logic categorical category-theory causal-state-machine chu-space circuitry closure-structures computability-logic computational-epistemology computational-learning computational-mathematics concurrency default-reasoning des design-by-contract diagrammatic-reasoning digital-circuits distributed domain-theory dynamical-system dynamics evaluation finite-state-machine formal-system formalization fsm galois-connections goedel-machine granularities ideal-domains iff inference inference-dynamics institutions interactivity intertheory java jml lambda-calculi lattice-of-solutions linear linear-time-temporal-logic logic logics machine-learning metalogic-programming metascience modal-logic model-checking monadic-logic-of-order network paraconsistency parchments partial-order prediction problem-solving proof-search protein-interaction quantitative quantitative-temporal-logic query refinement reinforcement-learning relation relational-structures resource-allocation self-adaptation self-reference semantics simulation situated softnet solution-lattice specification specification-generation speed-prior state-space state-transition-graph temporal temporal-concept-analysis temporal-logic-institution temporal-nonmonotonic-logic test-case-generation theory-development time universal-search universality utility verification

Privacy Statement | Terms & Conditions

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.