Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018) : Oxford, UK, July 19th, 2018
Book title Buchtitel
Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018) : Oxford, UK, July 19th, 2018
Publisher Herausgeber
CEUR
Place of publishing Erscheinungsort
Oxford, UK
Volume Band
2162
Access Type
Date issued
Publication Type
Results 1-1 of 1 (Search time: 0.002 seconds).