External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

07401 Executive Summary -- Deduction and Decision Procedures

Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis. 07401 Executive Summary -- Deduction and Decision Procedures. In Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis, editors, Deduction and Decision Procedures, 30.09. - 05.10.2007. Volume 07401 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2007. [doi]

Authors

Franz Baader

This author has not been identified. Look up 'Franz Baader' in Google

Byron Cook

This author has not been identified. Look up 'Byron Cook' in Google

Jürgen Giesl

Identified as Jürgen Giesl

Robert Nieuwenhuis

This author has not been identified. Look up 'Robert Nieuwenhuis' in Google
runs on