Adapting Methods to Novel Tasks in Proof Planning

to connected objects

Language: Englisch

Identifier: 1025160509

Contributor

Kerber, Manfred
Huang, Xiaorong
Kohlhase, Michael
Richts, Jörn

URN: http://nbn-resolving.org/urn:nbn:de:hbz:386-kluedo-2262

Rights: Der Zugriff auf das Objekt ist unbeschränkt möglich.

Last update: 26.01.2023, 1:55 PM CET

Data provider

Deutsche Nationalbibliothek

Show original at data provider

Associated

Kerber, Manfred
Huang, Xiaorong
Kohlhase, Michael
Richts, Jörn

Other Objects (12)

Monografie

OMEGA-MKRP - A Proof Development Environment

Monografie

Guaranteeing Correctness through the Communication of Checkable Proofs : (or: Would You Really Trust an Automated Reasoning System?)

Monografie

A Test for Evaluating the Practical Usefulness of Deduction Systems

Monografie

Methods - The Basic Units for Planning and Verifying Proofs

Monografie

Die Beweisentwicklungsumgebung Omega-MKRP

Planning Mathematical Proofs with Methods

Monografie

Omega: Towards a Mathematical Assistant

A Tableau Calculus for Partial Functions

A Resolution Calculus for Presuppositions

Monografie

Mechanising Partiality without Re-Implementation

Monografie

Adaptation of Declaratively Represented Methods in Proof Planning

The Adaption of Proof Methods by Reformulation

Monografie

OMEGA-MKRP - A Proof Development Environment

Monografie

Guaranteeing Correctness through the Communication of Checkable Proofs : (or: Would You Really Trust an Automated Reasoning System?)

Monografie

A Test for Evaluating the Practical Usefulness of Deduction Systems

Monografie

Methods - The Basic Units for Planning and Verifying Proofs

Monografie

Die Beweisentwicklungsumgebung Omega-MKRP

Planning Mathematical Proofs with Methods

Monografie

Omega: Towards a Mathematical Assistant

A Tableau Calculus for Partial Functions

A Resolution Calculus for Presuppositions

Monografie

Mechanising Partiality without Re-Implementation

Monografie

Adaptation of Declaratively Represented Methods in Proof Planning

The Adaption of Proof Methods by Reformulation

Monografie

OMEGA-MKRP - A Proof Development Environment

Monografie

Guaranteeing Correctness through the Communication of Checkable Proofs : (or: Would You Really Trust an Automated Reasoning System?)

Monografie

A Test for Evaluating the Practical Usefulness of Deduction Systems

Monografie

Methods - The Basic Units for Planning and Verifying Proofs

Monografie

Die Beweisentwicklungsumgebung Omega-MKRP

Planning Mathematical Proofs with Methods

Monografie

Omega: Towards a Mathematical Assistant

A Tableau Calculus for Partial Functions

A Resolution Calculus for Presuppositions

Monografie

Mechanising Partiality without Re-Implementation

Monografie

Adaptation of Declaratively Represented Methods in Proof Planning

The Adaption of Proof Methods by Reformulation

Create user account

Cultural heritage institutions wishing to register will find more information here.

Fields marked * need to be filled in.

Username*

Please enter your username

Email*

Please enter your email address

Please do not fill this field

First name

Last name

Password*

Please enter your password

Confirm password*

Please enter the same password

* I have read the terms of use and the privacy policy for the collection of personal data and accept them.

This field is required.

I would like to subscribe to the newsletter of the Deutsche Digitale Bibliothek.

Account created

Your "My DDB" account has been successfully created. Before you can log in to your account, you must click the confirmation link in the message we just sent to the email address you provided.

Adapting Methods to Novel Tasks in Proof Planning

Object Details

Contributors, Location and Time

Further information

Data provider

Associated

Other Objects (12)

OMEGA-MKRP - A Proof Development Environment

Guaranteeing Correctness through the Communication of Checkable Proofs : (or: Would You Really Trust an Automated Reasoning System?)

A Test for Evaluating the Practical Usefulness of Deduction Systems

Methods - The Basic Units for Planning and Verifying Proofs

Die Beweisentwicklungsumgebung Omega-MKRP

Planning Mathematical Proofs with Methods

Omega: Towards a Mathematical Assistant

A Tableau Calculus for Partial Functions

A Resolution Calculus for Presuppositions

Mechanising Partiality without Re-Implementation

Adaptation of Declaratively Represented Methods in Proof Planning

The Adaption of Proof Methods by Reformulation

OMEGA-MKRP - A Proof Development Environment

Guaranteeing Correctness through the Communication of Checkable Proofs : (or: Would You Really Trust an Automated Reasoning System?)

A Test for Evaluating the Practical Usefulness of Deduction Systems

Methods - The Basic Units for Planning and Verifying Proofs

Die Beweisentwicklungsumgebung Omega-MKRP

Planning Mathematical Proofs with Methods

Omega: Towards a Mathematical Assistant

A Tableau Calculus for Partial Functions

A Resolution Calculus for Presuppositions

Mechanising Partiality without Re-Implementation

Adaptation of Declaratively Represented Methods in Proof Planning

The Adaption of Proof Methods by Reformulation

OMEGA-MKRP - A Proof Development Environment

Guaranteeing Correctness through the Communication of Checkable Proofs : (or: Would You Really Trust an Automated Reasoning System?)

A Test for Evaluating the Practical Usefulness of Deduction Systems

Methods - The Basic Units for Planning and Verifying Proofs

Die Beweisentwicklungsumgebung Omega-MKRP

Planning Mathematical Proofs with Methods

Omega: Towards a Mathematical Assistant

A Tableau Calculus for Partial Functions

A Resolution Calculus for Presuppositions

Mechanising Partiality without Re-Implementation

Adaptation of Declaratively Represented Methods in Proof Planning

The Adaption of Proof Methods by Reformulation

Related objects