ExLibris header image
Contains information about title and source of a journal
Title: Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of branching time
Source: Goranko, Valentin
yr:2009 pg:25 -25
Contains list of services for current record
service type icon, opens target in new window
No full text available for this item
service type icon, opens target in new window
Request this document via
DTU Library
service type icon, opens target in new window
Feedback to
DTU Link
More Options
click for more options
bar corner
service type icon, opens target in new window
Download Record into
RefWorks Direct Export Tool
service type icon, opens target in new window
Find related information in
a Web Search Engine
 
 
Search Terms:
 
service type icon, opens target in new window
Find related information in
Google Patent Search
service type icon, opens target in new window
Search for related literature in
Open Access Journals
 
 
Search Terms:
 
  Note:Free full text available for some or all content


Systematic downloading and storing of data (including entire books or journals) is strictly prohibited.
More info can be found here.

© 2013 SFX by Ex Libris Inc.
CrossRef Enabled