The PIE system for Proving, Interpolating and Eliminating
From International Center for Computational Logic
The PIE system for Proving, Interpolating and Eliminating
Christoph WernhardChristoph Wernhard
Christoph Wernhard
The PIE system for Proving, Interpolating and Eliminating
In Pascal Fontaine, Stephan Schulz, Josef Urban, eds., 5th Workshop on Practical Aspects of Automated Reasoning (PAAR), volume 1635 of CEUR Workshop Proceedings, 125-138, 2016
The PIE system for Proving, Interpolating and Eliminating
In Pascal Fontaine, Stephan Schulz, Josef Urban, eds., 5th Workshop on Practical Aspects of Automated Reasoning (PAAR), volume 1635 of CEUR Workshop Proceedings, 125-138, 2016
- Weitere Informationen unter:Other info: Link
- Projekt:Project: SOA-VBQP
- Forschungsgruppe:Research Group: Wissensverarbeitung
@inproceedings{W2016,
author = {Christoph Wernhard},
title = {The {PIE} system for Proving, Interpolating and Eliminating},
editor = {Pascal Fontaine and Stephan Schulz and Josef Urban},
booktitle = {5th Workshop on Practical Aspects of Automated Reasoning (PAAR)},
series = {CEUR Workshop Proceedings},
volume = {1635},
year = {2016},
pages = {125-138}
}