Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, Octob - detaljert visning

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 , c2001
Omfang	VIII, 238 s. : fig.
Emner	Bevisføring - Databehandling Bevisteori Matematisk logikk - Databehandling (Matematikk)
ISBN	354042752X

Biblioteksøk