Amazon

Handbook of Automated Reasoning: Volume II

Name: Handbook of Automated Reasoning: Volume II
Brand: Elsevier BV
SKU: 353343b4c61fafa11ab60483c5483419

1/1

Afbeelding van Handbook of Automated Reasoning: Volume II

Bol

Prijzen vanaf

98,34

Uitgelicht

	98,34	Naar shop
	251,00	Naar shop
VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

Bol 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. Handbook of Automated Reasoning - Vol 2

Lees meer

Vergelijk aanbieders (2)

Sorteren op:

€ 98,34 € 2,99 verzendkosten Totaal € 101,33

€ 251,00 Gratis verzending

Beschrijving (1)

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. Handbook of Automated Reasoning - Vol 2

Lees meer