English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
  First-order Proof Documentation

Dreßler, C. (2007). First-order Proof Documentation. Bachelor Thesis, Universität des Saarlandes, Saarbrücken.

Item is

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Dreßler, Christian1, Author           
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 2007-12-302007
 Publication Status: Issued
 Pages: IV, 52 p.
 Publishing info: Saarbrücken : Universität des Saarlandes
 Table of Contents: -
 Rev. Type: -
 Identifiers: BibTex Citekey: Dressler2007Bachelor
 Degree: Bachelor

Event

show

Legal Case

show

Project information

show

Source

show