English
Deutsch
Log In
Log in with Fraunhofer Smartcard
Password Login
Research Outputs
Fundings & Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Hauptwerk
Joint Automated Reasoning Workshop and Deduktionstreffen (ARW-DT) 2014. Online resource
Details
Publications
Statistics
Options
Show all metadata (technical view)
Title
Joint Automated Reasoning Workshop and Deduktionstreffen (ARW-DT) 2014. Online resource
Title Supplement
As part of the Vienna Summer of Logic - IJCAR 23-24 July 2014
Show more
Person Involved
Publication Date
2014
Link
http://arw.csc.liv.ac.uk/2014.html
Conference
Joint Automated Reasoning Workshop and Deduktionstreffen (ARW-DT) 2014
International Joint Conference on Automated Reasoning (IJCAR) 2014
