CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings

Søk kun i bestemt felt Avgrens på brukernivå barn, voksen osv

Avgrens på format. (Bok, DVD, Lydbok, etc.) Avgrens på språk

Fra år

Til år


Utgitt	Berlin : Springer , c1988
Omfang	VI, 346 s. : fig.
Emner	Matematisk logikk - Databehandling
ISBN	0387502416. - 3540502416

Biblioteksøk