Integrating Clausal Decision Procedures in a Tactic Based Theorem Prover

Local TagsRelease HistoryDetailsSummary

Integrating Clausal Decision Procedures in a Tactic Based Theorem Prover

Leven, P. (1998). Integrating Clausal Decision Procedures in a Tactic Based Theorem Prover. Master Thesis, Universität des Saarlandes, Saarbrücken.

Item is Released

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3847-7 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-AD03-1

Genre: Thesis

show

show

hide

Creators:
Leven, Peter¹, Author

Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

show

show

hide

Language(s): eng - English

Dates: Modified: 2010-03-12Accepted: 1998Date issued: 1998

Publication Status: Issued

Pages: -

Publishing info: Saarbrücken : Universität des Saarlandes

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 519700
Other: Local-ID: C1256104005ECAFC-AEA282517C2EA652C125674500537B7C-Leven-Diplom98

Degree: Master

show

show

show

show