Singular and plural nondeterministic parameters : multialgebras, power algebra and complete reasoning systems


Michal Walicki
Bok Engelsk 1994 Michał Walicki
Les boka på nett
Digital utgave: Søke-URL
Utgitt
Bergen : Department of Informatics, University of Bergen , 1994
Omfang
19 bl.
Emner
Programmeringsspråk - Semantikk
Programutvikling
matematisk logikk programmering logisk

Bibliotek som har denne