Deduction and applications

Citation

Baader, F, Baumgartner, P, Nieuwenhuis, R et al 2006, 'Deduction and applications', Dagstuhl Seminar 2005, ed. F. Baader, P. Baumgartner, R. Nieuwenhuis, A. Voronkov, Internationales Begegnungs und Forschungszentrum fuer Informatik, Germany.

Year

2006

ANU Authors

Field of Research

  • Artificial Intelligence And Image Processing Not Elsewhere Classified

Updated:  28 January 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers