{IWIL} 2012: The 9th International Workshop on the Implementation of Logics, Merida, Venezuela, March 10, 2012

Konstantin Korovin (Editor), Stephan Schulz (Editor), Eugenia Ternovska (Editor)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Name	EPiC Series
Publisher	EasyChair

Access to Document

@inproceedings{54108f4268734bd09f6082ee448aa6c3,

title = "{IWIL} 2012: The 9th International Workshop on the Implementation of Logics, Merida, Venezuela, March 10, 2012",

author = "Konstantin Korovin and Stephan Schulz and Eugenia Ternovska",

year = "2013",

language = "English",

volume = "22",

series = "EPiC Series",

publisher = "EasyChair",

booktitle = "EPiC Series",

address = "United Kingdom",

}