Skip to main navigation Skip to search Skip to main content

On the Use of Extended Resolution in Propositional Reasoning

  • Carsten Sinz (Speaker)

Activity: Talk or presentation › Invited talk › unknown

Period15 Jan 2006
Event titleunbekannt/unknown
Event typeOther
LocationAustriaShow on map

Fields of science

  • 102 Computer Sciences