Mit ungewöhnlicher Lebendigkeit im Stil mißt Quine die logische Praxis und Theorie gleichermaßen ...

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...

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

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

a

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

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

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...

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

GI-4.Jahrestagung