edoc-Server der Humboldt-Universität zu Berlin

Band einer Schriftenreihe

Autor(en): Bernd I. Dahn; Jürgen Gehne; Thomas Honigmann; Lutz Walther; Andreas Wolf
Titel: Integrating Logical Functions with ILF
Erscheinungsdatum: 01.03.1994
Erschienen in: Preprints aus dem Institut für Mathematik  10 (Mathematik-Preprints)
ISSN: 0863-0976
Volltext: pdf (urn:nbn:de:kobv:11-10050917)
Fachgebiet(e): Mathematik
Herausgeber: Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Institut für Mathematik
Metadatenexport: Um den gesamten Metadatensatz im Endnote- oder Bibtex-Format zu speichern, klicken Sie bitte auf den entsprechenden Link. Endnote   Bibtex  
print on demand: Wenn Sie auf dieses Icon klicken, können Sie ein Druckexemplar dieser Publikation bestellen.
Diese Seite taggen: Diese Icons führen auf so genannte Social-Bookmark-Systeme, auf denen Sie Lesezeichen anlegen, persönliche Tags vergeben und Lesezeichen anderer Nutzer ansehen können.
  • connotea
  • del.icio.us
  • Furl
  • RawSugar

Abstract (eng):
This is a description of the system ILF developed at the Humboldt-University at Berlin. ILF is a system that integrates automated theorem provers, proof tactics for interactive deductive systems and models within a graphical user interface. The structure and commands of ILF are presented. A special part is devoted to the TreeViewer _ a part of ILF used for visualising directed acyclic graphs, which can be used as a separate programme. We describe the possibilities to extend ILF by integrating more interactive and automated deductive systems. The last part describes the ProofPad - a sample configuration for editing proofs in the field of lattice ordered groups.
Zugriffsstatistik: Die Daten für die Zugriffsstatistik der einzelnen Dokumente wurden aus den durch AWStats aggregierten Webserver-Logs erstellt. Sie beziehen sich auf den monatlichen Zugriff auf den Volltext sowie auf die Startseite. Die Zugriffsstatistik wird nicht standardisiert erfasst und kann maschinelle Zugriffe enthalten.
 
Bei Formatversionen eines Dokuments, die aus mehreren Dateien bestehen (insbesondere HTML), wird jeweils der monatlich höchste Zugriffswert auf eine der Dateien (Kapitel) des Dokuments angezeigt.
 
Um die detaillierten Zugriffszahlen zu sehen, fahren Sie bitte mit dem Mauszeiger über die einzelnen Balken des Diagramms.
Startseite: 1 ZugriffePDF: 6 ZugriffeStartseite: 1 ZugriffePDF: 1 ZugriffeStartseite: 1 ZugriffePDF: 3 ZugriffeStartseite: 2 ZugriffePDF: 3 ZugriffeStartseite: 3 ZugriffePDF: 1 ZugriffeStartseite: 2 ZugriffePDF: 1 ZugriffeStartseite: 3 ZugriffeStartseite: 2 ZugriffePDF: 2 ZugriffeStartseite: 1 ZugriffeStartseite: 2 ZugriffePDF: 3 ZugriffeStartseite: 2 ZugriffeStartseite: 5 ZugriffePDF: 1 ZugriffeStartseite: 2 ZugriffePDF: 5 ZugriffePDF: 3 ZugriffePDF: 8 ZugriffeStartseite: 4 ZugriffePDF: 6 ZugriffeStartseite: 5 ZugriffePDF: 13 Zugriffe
May
11		Jun
11		Jul
11		Aug
11		Dec
11		Jan
12		Apr
12		May
12		Jun
12		Jul
12		Aug
12		Sep
12		Oct
12		Nov
12		Dec
12		Jan
13		Apr
13

MonatMay
11		Jun
11		Jul
11		Aug
11		Dec
11		Jan
12		Apr
12		May
12		Jun
12		Jul
12		Aug
12		Sep
12		Oct
12		Nov
12		Dec
12		Jan
13		Apr
13
Startseite1112323212252  45
PDF613311 2 3 1538613

Gesamtzahl der Zugriffe seit May 2011:

  • Startseite – 36 (2.12 pro Monat)
  • PDF – 56 (3.29 pro Monat)
    •  
 
Generiert am 23.05.2013, 13:27:37