Editorial: Strategies in Automated Deduction

Springer Science and Business Media LLC - Tập 29 - Trang 0-0 - 2000
Bernhard Gramlich1, Hélène Kirchner2, Frank Pfenning3
1Institut für Computersprachen, E185/2, Technische Universität Wien, Wien, Austria
2Campus Scientifique, Bâtiment LORIA, Vandoeuvre-les-Nancy, France
3Department of Computer Science, Carnegie Mellon University, Pittsburgh, U.S.A

Thông tin
Thông tin xuất bản

Springer Science and Business Media LLC

Tập 29

0-0

Thông tin tác giả