Student Use of an Interactive Theorem Prover

Contemporary Mathematics - United States
doi 10.1090/conm/029/16
Full Text
Abstract

Available in full text

Categories
Mathematics
Date
Authors
Publisher

American Mathematical Society

Related search

Saoithín: A Theorem Prover for UTP

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Modeling of ALFA Programs Using PVS Theorem Prover

2009English

Many-Sorted Logic in a Learning Theorem Prover

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Use of Interactive Technologies to Increase Student Motivation Level

Educological discourse
2018English

A Theorem Prover-Based Analysis Tool for Object-Oriented Databases

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

How to Avoid the Formal Verification of a Theorem Prover

Logic Journal of the IGPL
Philosophy
2001English

A Theorem Prover for Checking Satisfiability of Object-Oriented Database Schemas

1995English

Evaluation of the Larch/VHDL Interactive Prover in Hardware Verification

1997English

Proving Properties of Elementary Net Systems With a Special-Purpose Theorem Prover

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1990English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy