Sommerhalder, Rudolf (-2010)

<http://data.bibliotheken.nl/id/thes/p069557918>

schema:Person
Roepnaam: Ruud
rdfs:label "Sommerhalder, Rudolf (-2010)"
schema:name "Rudolf Sommerhalder"
schema:familyName "Sommerhalder"
schema:givenName "Rudolf"
schema:description "Roepnaam: Ruud"
"oud-universitair hoofddocent van de Technische Universiteit Delft; bron: overlijdensadvertentie de Volkskrant, 19 januari 2010"
schema:deathDate "2010"
schema:sameAs <https://isni.org/isni/0000000118795209>
<http://viaf.org/viaf/92278342>
schema:mainEntityOfPage <https://data.bibliotheken.nl/.well-known/genid/2e24aa5f270f06952a842993dbcb787c>

Inverse relations

[ .. ] → schema:contributor → Sommerhalder, Rudolf (-2010)

Dialogue structuring / J. van der Leeuw, A.M.C. van Rijn, R. Sommerhalderschema:ProductModel Logica : een inleiding met toepassingen in de informatica / S.C. van Westrhenen, R. Sommerhalder, J.F.M. Toninoschema:ProductModel PROMISE : a PROLOG machine / Pawel Kruszyński, Ruud Sommerhalderschema:ProductModel

[ .. ] → schema:author → Sommerhalder, Rudolf (-2010)

A resolution method for some systems of modal logic / Rudolf Sommerhalderschema:ProductModel An exercise on pumping / R. Sommerhalderschema:ProductModel Computing modes of finite automata / R. Sommerhalder and C. Witteveenschema:ProductModel Herbrand interpretations in modal logics / R. Sommerhalder, S.C. van Westrhenenschema:ProductModel Resolution in modal propositional logic / R. Sommerhalder, S.C. van Westrhenenschema:ProductModel Tapes, queues and communicating automata in DIAC / R. Sommerhalder, P.R. van der Weerdschema:ProductModel
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://api.bibliotheken.nl/datasets/KB/Production/services/Production-VTS/sparql