Recovery of nonmonotonic theories / C. Witteveen and W. van der Hoek

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

rdfs:label	"Recovery of nonmonotonic theories / C. Witteveen and W. van der Hoek"
schema:name	"Recovery of nonmonotonic theories"
schema:author	Vakgroep Informatica (Utrecht)
	Witteveen, Cornelis (1952-)
schema:contributor	Hoek, Wiebe van der
schema:sameAs	<http://www.worldcat.org/oclc/68096942>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/e0175d44bdbd6f745f9f56700e5c7618>
http://purl.org/dc/terms#issued	"1997"
schema:about	wiskundige logica
	programmeren
schema:inLanguage	"en"
schema:isPartOf	Technical report / Department of Computer Science
schema:numberOfPages	21
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/dca5e1ced5abcbcc794a3e45f7d1c018>