Related Tags

ai algebra ambient analysis application arguments atp auditory automata bilattice categorical checking classical clustering contextualism continuous cross definability description descriptivism dialogue distinction distributed distribution endurant epistemic epistemic_luck epistemology evidentiality excitation explicit-subs failure fca frame groups histogram history hybrid identification indicators inference intuitionistic knowability knowledge knowledge_attributions kripke language linear linguistics logic luck many-valued many_valued medical minimal mixtture modality model model_theory modelchecker monitoring mu-calculus multi-valued multimodality multivalue negation ontology own planning pnc possibility possible_world probability process_algebra processing programming proof realism reasoning_about_action relevant_alternatives resolution rewriting rough_set rules search segmentation self simulation situation_calculus space synchronmaschine tableau temporal theory thesis timeline to transformation under zhou

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.