Published 2006 | Version v1
Publication Metadata-only

Preface to the Special Issue of the Electronic Notes on Theoretical Computer Science devoted to the Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2005)

Creators

Contributors

Additional details

Identifiers

URL
http://hdl.handle.net/11567/242793
URN
urn:oai:iris.unige.it:11567/242793

Origin repository

Origin repository
UNIGE