Media type: E-Book; Conference Proceedings Title: Automated Reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings Contributor: Basin, David [Author]; Rusinowitch, Michael [Other] imprint: Berlin, Heidelberg: Springer Berlin Heidelberg, 2004 Published in: Lecture notes in computer science ; 3097 Bücher Extent: Online-Ressource Language: English DOI: 10.1007/b98691 ISBN: 9783540223450 Identifier: RVK notation: SS 4800 : Lecture notes in computer science Keywords: Automatisches Beweisverfahren Programmierlogik Beweistheorie > Logik Origination: Footnote: