Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning (PAAR-2008/ESHOL-2008)

B. Konev, R. Schmidt, S. Schulz

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

Original language	English
Title of host publication	CEUR Workshop Proceedings
Publisher	RWTH Aachen University
Volume	373
Publication status	Published - 2008
Event	First International Workshop on Practical Aspects of Automated Reasoning - Sydney, Australia Duration: 10 Aug 2008 → 11 Aug 2008

Name	CEUR Workshop Proceedings
Publisher	CEUR Workshop Proceedings

Conference	First International Workshop on Practical Aspects of Automated Reasoning
City	Sydney, Australia
Period	10/08/08 → 11/08/08

Cite this

@inproceedings{729ec4ee0aee4796a79c281973f5b97e,

title = "Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning (PAAR-2008/ESHOL-2008)",

author = "B. Konev and R. Schmidt and S. Schulz",

year = "2008",

language = "English",

volume = "373",

series = "CEUR Workshop Proceedings",

publisher = "RWTH Aachen University",

booktitle = "CEUR Workshop Proceedings",

address = "Germany",

note = "First International Workshop on Practical Aspects of Automated Reasoning ; Conference date: 10-08-2008 Through 11-08-2008",

}

TY - GEN

T1 - Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning (PAAR-2008/ESHOL-2008)

AU - Konev, B.

AU - Schmidt, R.

AU - Schulz, S.

PY - 2008

Y1 - 2008

M3 - Conference contribution

VL - 373

T3 - CEUR Workshop Proceedings

BT - CEUR Workshop Proceedings

PB - RWTH Aachen University

T2 - First International Workshop on Practical Aspects of Automated Reasoning

Y2 - 10 August 2008 through 11 August 2008

ER -