PAAR-2012: Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning

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

201 Downloads (Pure)

Name	EPiC Series
Publisher	EasyChair

Access to Document

@inproceedings{7b27b383897e4e5994170cbaa29fdfd2,

title = "PAAR-2012: Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning",

author = "P Fontaine and Schmidt, \{R A\} and S Schulz",

year = "2012",

language = "English",

isbn = "2040-557X",

volume = "21",

series = "EPiC Series",

publisher = "EasyChair",

booktitle = "EPiC Series",

address = "United Kingdom",

}