scientific article; zbMATH DE number 1301728

zbMATH Open0927.03052MaRDI QIDQ4246941

No author found.

Publication date: 13 December 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

surveytype theoryproof environments

Mathematics Subject Classification ID

Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35)

Related Items (7)

Unnamed Item ⋮ Introduction ⋮ Unnamed Item ⋮ Introduction ⋮ Introduction ⋮ Unnamed Item ⋮ Introduction

Uses Software

• Unnamed Item
• PVS
• HOL
• Nuprl

Recommendations

• Introduction 👍 👎
• Introduction 👍 👎
• Homological Mirror Symmetry and Tropical Geometry 👍 👎
• Introduction 👍 👎
• Introduction 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎

This page was built for publication: