Atlas home || Conferences | Abstracts | about Atlas

Deduction

March 4-9, 2001

Wadern, Germany

Mathematics

Host: Schloss Dagstuhl
Homepage: http://www.dagstuhl.de/DATA/Seminars/01/#01101
Email: office@dagstuhl.de

Organizers: U. Furbach (Koblenz), H. Ganzinger (MPI Saarbrücken), R. Hasegawa (Fukuoka), D. Kapur (Albuquerque)

Date received: March 21, 2000

© 2008 Atlas Conferences Inc.