Siirry suoraan sisältöön
Automated Reasoning in Higher-order Logic
Tallenna

Automated Reasoning in Higher-order Logic

Kirjailija:
pokkari, 2007
englanti
Alaotsikko
Set Comprehension and Extensionality in Church's Type Theory
Kirjailija
Chad E. Brown
ISBN
9781904987574
Kieli
englanti
Paino
781 grammaa
Julkaisupäivä
22.10.2007
Sivumäärä
564