Specification and implementation of components of a →m⇋CRL toolbox / D. Dams & J.F. Groote

<http://data.bibliotheken.nl/id/nbt/p143439480>

rdfs:label	"Specification and implementation of components of a →m⇋CRL toolbox / D. Dams & J.F. Groote"
schema:name	"Specification and implementation of components of a →m⇋CRL toolbox"
schema:author	Utrecht Research Institute for Philosophy
	Dams, Dennis René (1966-)
schema:contributor	Logic Group (Utrecht)
	Groote, Jan Friso (1965-)
schema:sameAs	<http://www.worldcat.org/oclc/71514851>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/cb7eb7aaa64c0cf1a927a4bfa4e2da72>
http://purl.org/dc/terms#issued	"1995"
schema:about	wiskundige logica
schema:inLanguage	"en"
schema:isPartOf	Logic Group preprint series / University of Utrecht, Department of Philosophy
schema:isbn	"903931103X"
schema:numberOfPages	75
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/299e8325f88a4c17bc88e3b8aa74bf5a>