»Wer in den feinen Strichen der Logik nicht die Unruhelinien der Sehnsucht aufgezeichnet sieht, w...

Fünf Informatikpioniere aus Deutschland, Österreich und der Schweiz, die die Entwicklung ihres Fa...

The author, who died in 1984, is well-known both as a person and through his research in mathemat...

J. Richard Biichi is well known for his work in mathematical logic and theoretical computer scien...

Dieses Buch dokumentiert einen Diskussionsprozeß, der an vielen Orten stattfindet und vom Arbeits...

Decidability and completeness of SC.- Benefits of the decision procedure.

a

Gregory Bateson -Biologe, Anthropologe, Psychiater, Systemtheoretiker -erzählt in der Ein­ l leit...

Gregory Bateson -Biologe, Anthropologe, Psychiater, Systemtheoretiker -erziihlt in der Ein­ leitu...

Fünf Informatikpioniere aus Deutschland, Österreich und der Schweiz, die die Entwicklung ihres Fa...

Wieviele Menschen können an einem Gespräch teilnehmen? Drei, vier, fünf. Darüber wird's schwierig...