registrieren | anmelden | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

shensheis hybrid [4 articles]

Neue Publikationen in shensheis Bibliothek eingetragen unter dem Bezeichner: hybrid. You can also see everyone's hybrid.
  • Resolution in Modal, Description and Hybrid Logic
    by Carlos Areces, Hans de Nivelle, Maarten de Rijke
    posted to resolution modal logic hybrid description by shenshei on 2007-01-30 16:20:55 as read
  • Ordered resolution with selection for H(@)
    Vol. 3452 (2004), pp. 125-141.
    by Carlos Areces, Daniel Gorín
    edited by F Baader, A Voronkov
    posted to selection resolution ordered logic hybrid by shenshei on 2007-01-30 16:10:39 as read
  • Modal Logic
    (15 November 2002)
    by Patrick Blackburn, Maarten de Rijke, Yde Venema
    posted to hybrid logic modal by shenshei on 2006-10-24 14:59:45 as **** along with 1 person terumiyake
  • Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto
    Logic Journal of the IGPL, Vol. 8 (2000), pp. 339-625.
    by Patrick Blackburn
    posted to hybrid logic reasoning relational representation structures by shenshei on 2006-10-24 10:04:14 as read
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/user/shenshei/tag/hybrid

    RIS BibTeX
    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.