Implementing mathematics with the Nuprl proof development system

Materias

• Mathematics
• Nuprl (Computer system)
• Data processing
• Automatic theorem proving
• Mathematics, data processing

Ediciones (2)

• Implementing mathematics with the Nuprl proof developmentsystem (1986)

  Prentice-Hall · inglés

• Implementing mathematics with the Nuprl proof development system (1986)

  Prentice-Hall · inglés

Más obras de R. L. Constable