FurbachIJCAR2006

Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Ulrich Furbach, Natarajan Shankar (eds.), Lecture Notes in Computer Science, Springer, 2006.

BibTex Reference

@Book{FurbachIJCAR2006,
   Title = {{Automated Reasoning, Third International Joint        Conference, IJCAR 2006, Seattle, WA, USA, August 17-20,        2006, Proceedings}},
   BookTitle = {IJCAR},
   editor = {Furbach, Ulrich and Shankar, Natarajan},
   Volume = {4130},
   Series = {Lecture Notes in Computer Science},
   Publisher = {Springer},
   Year = {2006}
}

EndNote Reference [help]

Get EndNote Reference (.ref)