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 Techniques Computability, Logic, AI Algorithms Logic, programming, and type systems

相关技术:Parallel Computing and Optimization Techniques Computability, Logic, AI Algorithms

Implementing Mathematics with The Nuprl Proof Development System · 相关技术

相关技术

Parallel Computing and Optimization Techniques Computability, Logic, AI Algorithms