Gå direkt till innehållet
Automated Reasoning in Higher-order Logic
Spara

Automated Reasoning in Higher-order Logic

Författare:
pocket, 2007
Engelska
Undertitel
Set Comprehension and Extensionality in Church's Type Theory
Författare
Chad E. Brown
ISBN
9781904987574
Språk
Engelska
Vikt
781 gram
Utgivningsdatum
2007-10-22
Sidor
564