Inbunden

Handbook of Automated Reasoning

A. Robinson, A. Voronkov

Beskrivning:

This second volume of "Handbook of Automated Reasoning" covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.

Fakta

Förlag:: North-Holland
ISBN:: 9780444508126
Bandtyp:: Inbunden
Utgiven:: 2001-01-01
Språk:: Engelska
Antal Sidor:: 1188
ISBN-10:: 0444508120

Priser hos nätbutiker

Butik	Mervärde	Pris	Tillgänglighet	Leveranstid	Inkl frakt	Länkar
	Nordens största bokhandel med över 10 miljoner titlar. Alltid låga priser	1977.00 kr	I lager	2-5 dagar	1977.00 kr	Till butik
	Alltid störst sortiment Bonustrappa; samla inköp och få unika erbjudanden	2219.00 kr	I lager	5-15 dagar	2219.00 kr	Till butik

Obs! Glöm inte att alltid kolla priset hos återförsäljaren!