Cover Image
Read Now

1
by Bauer, Friedrich L., Goos, Gerhard
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... -- 8. Syntaktische und semantische Definition algorithmischer Sprachen -- 8.1 Syntax algorithmischer...”
Cover Image
Read Now

2
by Bauer, Friedrich L., Wirsing, Martin
Published 1991
Springer Berlin Heidelberg
Table of Contents: “.... Syntax der Aussageformen -- II. Wertverlauf -- 4. Tautologien und erfüllbare Aussageformen -- 5...”