Johann M. Ph. Schumann

Publication Activity (10 Years)

Years Active: 1989-1992
Publications (10 Years): 0

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Johann M. Ph. Schumann, Max Moser
A graphical user interface for SETHEO: proposal Forschungsberichte, TU Munich (1992)
Johann M. Ph. Schumann
Parallelization of inference systems by using an abstract machine Forschungsberichte, TU Munich (1991)
Johann M. Ph. Schumann, Wolfgang Ertel, Christian B. Suttner
Learning heuristics for a theorem prover using back propagation Forschungsberichte, TU Munich (1989)