Recovery of nonmonotonic theories / Cees Witteveen, Wiebe van der Hoek

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

Omslag vermeldt: Faculty Information Technology and Systems, Technical Mathematics and Informatics

rdfs:label	"Recovery of nonmonotonic theories / Cees Witteveen, Wiebe van der Hoek"
schema:name	"Recovery of nonmonotonic theories"
schema:author	Witteveen, Cornelis (1952-)
	Technische Universiteit (Delft). Faculteit Informatietechnologie en Systemen. Subfaculteit Technische Wiskunde en Informatica
schema:contributor	Hoek, Wiebe van der
schema:description	"Omslag vermeldt: Faculty Information Technology and Systems, Technical Mathematics and Informatics"
schema:sameAs	<http://www.worldcat.org/oclc/68062638>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/f409be0c1a2d969f830dabdd4e0a1bd2>
http://purl.org/dc/terms#issued	"1997"
schema:about	programmeren
	wiskundige logica
schema:inLanguage	"en"
schema:isPartOf	Reports of the Faculty of Technical Mathematics and Informatics
schema:numberOfPages	21
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/5682a49313492d9c418e790f4597b16e>