Automated Theorem Proving in Software Engineering von Schumann, Johann M.

UBY01
URL des Eerstveröffentlichers

Learning heuristics for a theorem prover using back propagation von Schumann, Johann M., Ertel, Wolfgang, Suttner, Christian B.

Modelling and performance analysis of a parallel theorem prover von Jobmann, Manfred, Schumann, Johann M.

Parallelization of inference systems by using an abstract machine von Schumann, Johann M.

Learning heuristics for a theorem prover using back propagation von Ertel, Wolfgang, Schumann, Johann M., Suttner, Christian B.

Seinen, in Christo treu-geliebten Pfarrkindern eröffnet die, auff instehendes Kirchen-Jahr vorgenommene Lehr-Art Johann Michael Schumann von Schumann, Johann M.

kostenfrei

Parallelization of inference systems by using an abstract machine von Schumann, Johann M.

Efficient theorem provers based on an abstract machine von Schumann, Johann M.

Ad iusta solvenda Ser. Princ. Christiano, Duci Sax. ... ad prox. d. 27. Sept. ... invitat Jo. Mich. Schumann [praefatus de quibusdam principibus, qui sacerdotes magni fuerunt] von Schumann, Johann M.

kostenfrei

Applications of Neural Networks in High Assurance Systems

Weitere Verfasser: “… Schumann, Johann M. …”
BTU01
FHI01
FHN01
FHR01
UBG01
Volltext