Implementing Mathematics with The Nuprl Proof Development System 论文

1986引用 994
Logic, programming, and type systemsParallel Computing and Optimization TechniquesComputability, Logic, AI Algorithms
Parallel Computing and Optimization TechniquesComputability, Logic, AI AlgorithmsLogic, programming, and type systems
相关技术:Parallel Computing and Optimization TechniquesComputability, Logic, AI Algorithms
关系图谱

Implementing Mathematics with The Nuprl Proof Development System · 作者

S

Scott F. Smith

J

Joyce Sasaki

P

Prakash Panangaden

N

N. P. Mendler

T

Todd B. Knoblock

D

Douglas J. Howe

R

Robert Harper

J

James F. Cremer

W

W. R. Cleaveland

H

H. M. Bromley

S

Stuart F. Allen

R

Robert L. Constable