Treffer: Proof theory and logic programming

Titel:

Proof theory and logic programming : computation as proof search / Dale Miller

Beteiligt:

Veröffentlicht:

Cambridge : Cambridge University Press, 2026

Vertrieb:

Cambridge, UK : Cambridge University Press

Umfang:

1 Online-Ressource (xiii, 319 pages)

Format:

E-Book

Sprache:

Englisch

ISBN:

9781009561280 ; 9781009561297 (Sekundärausgabe)

DOI:

10.1017/9781009561280

Zusatz-Informationen