author = { IJCAR 2 2004 Cork Basin, David A. },

title = { Automated reasoning second international joint conference, IJCAR 2004, Cork, Ireland, July 4 - 8, 2004 ; proceedings },

publisher = {Springer},

isbn = {3540223452},

keywords = { Automatic theorem proving Congresses , Computer logic Congresses , Konferenzschrift 2004 Cork , Semantic Web },

year = {2004},

abstract = {Literaturangaben},

booktitle = {Lecture notes in computer science ; Lecture notes in artificial intelligence ; 3097},

address = { Berlin },

url = { http://slubdd.de/katalog?TN_libero_mab2 }