Gå direkte til innholdet
Automated Reasoning in Higher-order Logic
Spar

Automated Reasoning in Higher-order Logic

Forfatter:
pocket, 2007
Engelsk
Undertittel
Set Comprehension and Extensionality in Church's Type Theory
Forfatter
Chad E. Brown
ISBN
9781904987574
Språk
Engelsk
Vekt
781 gram
Utgivelsesdato
22.10.2007
Antall sider
564