MPG.eBooks - Search Results - %((22das (erste OR ersten)) or (das (erste OR ersten)))%22

1

by Rautenberg, Wolfgang
Published 1995

Vieweg+Teubner Verlag

Table of Contents: “... Normalformen -- 1.3 Tautologien und aussagenlogisches Folgern -- 1.4 Ein vollständiger Kalkül für das Folgern...”

2

by Frühwirth, Thom, Abdennadher, Slim
Published 1997

Springer Berlin Heidelberg

Table of Contents: “... -- 2 Prädikatenlogik und Kalküle -- 2.1 Syntax -- 2.2 Semantik -- 2.3 Logische Kalküle -- 3...”

3

by Hermes, Hans
Published 1978

Springer Berlin Heidelberg

Table of Contents: “...Erstes Kapitel. Einführende Betrachtungen über Algorithmen -- § 1. Der Begriff des Algorithmus...”