MPG.eBooks - Search Results - "hypothesis"

Cover Image

1

SOFSEM '98: Theory and Practice of Informatics : 25th Conference on Current Trends in Theory and Practice of Informatics, Jasna, Slovakia, November 21-27, 1998 Proceedings

Published 1998

Springer Berlin Heidelberg

Table of Contents: “... Experiment in Declarativeness -- Models of Computation, Riemann Hypothesis, and Classical Mathematics...”

Cover Image

2

Mathematical Foundations of Computer Science 1986 : 12th Symposium held at Bratislava, Czechoslovakia, August 25-29, 1986. Proceedings

Published 1986

Springer Berlin Heidelberg

Table of Contents: “... under justice hypothesis -- Al-Khowarizmi : A formal system for higher-order logic programming -- One...”