> Details

Schmidt, Renate A. [Editor]; Schulz, Stephan [Editor]; Konev, Boris [Editor] ; Workshop on Practical Aspects of Automated Reasoning 2. 2010 Edinburgh

PAAR-2010

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: E-Book; Conference Proceedings
  • Title: PAAR-2010 : proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning
  • Contributor: Schmidt, Renate A. [HerausgeberIn]; Schulz, Stephan [HerausgeberIn]; Konev, Boris [HerausgeberIn]
  • imprint: [Manchester]: EasyChair, May 16, 2012
  • Published in: EPiC series in computing ; 9
  • Extent: 1 Online-Ressource; Illustrationen
  • Language: English
  • Keywords: Konferenzschrift
  • Origination:
  • Footnote: "The Second Workshop on Practical Aspects of Automated Reasoning will be held in July 2010, in Edinburgh, UK. PAAR will be part of FLoC 2010 and associated with the 5th International Joint Conference on Automated Reasoning (IJCAR-2010)." - Webseite des Workshops
    Literaturangaben
  • Access State: Open Access