Proof and computation: Perspectives beyond turing computability

Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

1 Zitat (Scopus)

Originalsprache	Englisch
Titel	Proof and Computation
Untertitel	Digitization in Mathematics, Computer Science and Philosophy
Herausgeber (Verlag)	World Scientific Publishing Co.
Seiten	1-52
Seitenumfang	52
ISBN (elektronisch)	9789813270947
ISBN (Print)	9789813270930
DOIs	https://doi.org/10.1142/9789813270947_0001
Publikationsstatus	Veröffentlicht - 1 Jan. 2018
Extern publiziert	Ja

Zugriff auf Dokument

@inbook{8244428849114a18b7371288c9cdebbf,

title = "Proof and computation: Perspectives beyond turing computability",

author = "Klaus Mainzer",

year = "2018",

month = jan,

day = "1",

doi = "10.1142/9789813270947_0001",

language = "English",

isbn = "9789813270930",

pages = "1--52",

booktitle = "Proof and Computation",

publisher = "World Scientific Publishing Co.",

}

TY - CHAP

T1 - Proof and computation

T2 - Perspectives beyond turing computability

AU - Mainzer, Klaus

PY - 2018/1/1

Y1 - 2018/1/1

UR - http://www.scopus.com/inward/record.url?scp=85051617270&partnerID=8YFLogxK

U2 - 10.1142/9789813270947_0001

DO - 10.1142/9789813270947_0001

M3 - Chapter

AN - SCOPUS:85051617270

SN - 9789813270930

SP - 1

EP - 52

BT - Proof and Computation

PB - World Scientific Publishing Co.

ER -