National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Mechanized reasoning for dually-nondeterministic and probabilistic programs
URI:
http://urn.fi/URN:NBN:fi:bib:me:W00261705600
author
Celiku, Orieta
inLanguage
en
isPartOf
Fennica
name
Mechanized reasoning for dually-nondeterministic and probabilistic programs
P60049
<http://rdaregistry.info/termList/RDAContentType/1020>
Instances
2006 : Åbo Akademi
View this in Finna
Mechanized reasoning for dually-nondeterministic and probabilistic programs
URI:
http://urn.fi/URN:NBN:fi:bib:me:I00261705600
datePublished
2006
description
kuvitettu
Tiivistelmä ja 5 erip.
identifier
propertyID:
FI-FENNI
value:
838329
propertyID:
FI-MELINDA
value:
002617056
propertyID:
skl
value:
fx838329
isbn
9521217650
isPartOf
Fennica
TUCS Dissertations / Turku Centre for Computer Science
name
Mechanized reasoning for dually-nondeterministic and probabilistic programs
numberOfPages
vi, 43, [85] s.
P60048
<http://rdaregistry.info/termList/RDACarrierType/1049>
P60050
<http://rdaregistry.info/termList/RDAMediaType/1007>
publication
location:
Turku
organizer:
Turun tietotekniikan tutkimus- ja koulutuskeskus Åbo Akademi
publisher
Turun tietotekniikan tutkimus- ja koulutuskeskus
Åbo Akademi
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD