Couldn't Prove, Had to Promise
Egile nagusia: | Prunty |
---|---|
Formatua: | Baliabide elektronikoa eBook |
Hizkuntza: | English |
Argitaratua: |
Johns Hopkins University Press
|
Gaiak: | |
Sarrera elektronikoa: | Full text available on Project MUSE [2/21/15] Off-campus access |
Antzeko izenburuak
-
Proving Up
nork: Krall -
Proving Ground
nork: Slavishak -
Proving Grounds
nork: Martini -
Others Had It Worse
nork: Baker -
Interactive Theorem Proving
Argitaratua: (2013)