Back to Results
First PageMeta Content
Mathematical logic / Logic in computer science / International Conference on Automated Reasoning with Analytic Tableaux and Related Methods / Academia / Digital media / Grants / Automated reasoning / Method of analytic tableaux / Model elimination / Theoretical computer science / Automated theorem proving / Applied mathematics


Call for Papers and Tutorials TABLEAUX 2005 International Conference TABLEAUX 2005
Add to Reading List

Document Date: 2005-07-15 13:56:05

Open Document

File Size: 44,60 KB

Share Result on Facebook

City

Koblenz / Related Methods Koblenz / /

Country

Germany / /

Facility

University of Koblenz / /

IndustryTerm

conference web site / Papers describing applications / semantic web / software verification / /

Organization

Department of Computer Science / ORGANIZING COMMITTEE / University of Koblenz / /

Person

Thomas Kleemann Jan Murray Oliver / Vladimir Klebanov Thomas Kleemann Jan / Christian Ferm¨uller Ulrich / Lawrence Paulson David / Jan Murray Oliver Obst Alex / Ulrich Furbach Didier Galmiche Martin / Didier Galmiche Martin Giese Rajeev / Alex Sinner / Reinhold Letz Carsten Lutz Maarten / Peter H. Schmitt Viorica / David A. Plaisted Peter / V. Murray Ilkka Niemel / Neil V. Murray / Rajeev P. Gor`e Jean / Bernhard Beckert / Roy Dyckhoff Christian Ferm / Christoph Kreitz Reinhold Letz Carsten / Carsten Lutz Maarten Marx Ugo Moscato / Marta Cialdea Mayer Roy Dyckhoff / Peter Baumgartner Marta Cialdea Mayer / Christoph Wernhard / Jean GoubaultLarrecq / /

Position

author / chair / Publicity Chair / Conference Chair / GENERAL INFORMATION This conference / /

ProgrammingLanguage

C / /

URL

http /

SocialTag