Handbook of automated reasoning / ed. Alan Robinson and Andrei Voronkov

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

rdfs:label	"Handbook of automated reasoning / ed. Alan Robinson and Andrei Voronkov"
schema:name	"Handbook of automated reasoning"
schema:contributor	Robinson, J.A.
	Voronkov, Andrej Aleksandrovič (1959-)
schema:sameAs	<http://www.worldcat.org/oclc/905789546>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/0feadd119135a06ace853ff6c8c9aa21>
http://purl.org/dc/terms#issued	"2001"
schema:about	<http://data.bibliotheken.nl/id/thes/p077605411>
	argumenteren
	wiskundige logica
	<http://data.bibliotheken.nl/id/thes/p077601874>
	Logisch denken
	Artificial intelligence
	kunstmatige intelligentie
schema:inLanguage	"en"
schema:isbn	"0444829490"
schema:numberOfPages	2122
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/b017bc61d2b0852d3fbe522f56df3e01>