Algebraic approaches to nondeterminism : an overview


Michal Walicki & Sigurd Meldal
Bok Engelsk 1995 Michał Walicki
Les boka på nett
Digital utgave: Søke-URL
Utgitt
Bergen : Department of Informatics, University of Bergen , 1995
Omfang
48 s.
Emner
Udefinert logikk
matematisk logikk

Bibliotek som har denne