|
rdfs:label
|
"Logic for concurrency and synchronisation / ed. by Ruy J.G.B. de Queiroz"
|
|
schema:name
|
"Logic for concurrency and synchronisation"
|
|
schema:contributor
|
Queiroz, Ruy J.G.B. de
|
|
schema:sameAs
|
<http://www.worldcat.org/oclc/907018738>
|
|
schema:mainEntityOfPage
|
<https://data.bibliotheken.nl/.well-known/genid/fe6eeed877a66d4c130aea1f89a42bd0>
|
|
http://purl.org/dc/terms#issued
|
"2003"
|
|
schema:about
|
wiskundige logica
|
|
mathematische programmering
|
|
schema:associatedMedia
|
<http://www.loc.gov/catdir/enhancements/fy0814/2003045807-t.html>
|
|
<http://site.ebrary.com/lib/stanford/Doc?id=10067496>
|
|
<http://catdir.loc.gov/catdir/enhancements/fy0814/2003045807-t.html>
|
|
<http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=010306354&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA>
|
|
<http://catdir.loc.gov/catdir/enhancements/fy0814/2003045807-d.html>
|
|
<http://www.loc.gov/catdir/enhancements/fy0814/2003045807-d.html>
|
|
<http://bvbm2.bib-bvb.de:8993/F?func=service&doc_library=BVB01&doc_number=010306354&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA>
|
|
<http://site.ebrary.com/id/10067496>
|
|
schema:inLanguage
|
"en"
|
|
schema:isPartOf
|
Trends in logic : Studia logica library
|
|
schema:isbn
|
"1402012705"
|
|
schema:numberOfPages
|
284
|
|
schema:publication
|
<https://data.bibliotheken.nl/.well-known/genid/5a00293e3dd53b5cf46f8d159c2ce05f>
|