Kapitel 23: Ausblick

Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskning

Abstrakt

Overblik over forskellige logiksystemer med særlig relevans til datalogi.
OriginalsprogTysk
TitelMathematisch-strukturelle Grundlagen der Informatik
Antal sider55
Udgivelses stedBerlin, Heidelberg, New York
ForlagSpringer
Publikationsdato2001
Udgave2
Sider401-455
ISBN (Trykt)3540419233
StatusUdgivet - 2001

Citationsformater