Datei:Deduction-Systems-2018-V05-ASP-Intro.pdf

Datei
Dateiversionen
Dateiverwendung
Metadaten

Größe der JPG-Vorschau dieser PDF-Datei: 800 × 500 Pixel.

Originaldatei ‎(943 × 589 Pixel, Dateigröße: 261 KB, MIME-Typ: application/pdf, 97 Seiten)

Dateiversionen

Klicke auf einen Zeitpunkt, um diese Version zu laden.

	Version vom	Vorschaubild	Maße	Benutzer	Kommentar
aktuell	11:10, 18. Jun. 2018		943 × 589, 97 Seiten (261 KB)	Markus Krötzsch (Diskussion \| Beiträge)

Du kannst diese Datei nicht überschreiben.

Dateiverwendung

Die folgenden 2 Seiten verwenden diese Datei:

Metadaten

Diese Datei enthält weitere Informationen, die in der Regel von der Digitalkamera oder dem verwendeten Scanner stammen. Durch nachträgliche Bearbeitung der Originaldatei können einige Details verändert worden sein.

Bildtitel
Fotograf	Markus Krötzsch[1ex]Chair for Knowledge-Based Systems[2ex]Slides by Sebastian Rudolph, and based on a lecture by Martin Gebser and Torsten Schaub (CC-By 3.0)
Kurztitel	Deduction Systems - Answer Set Programming: Basics
Software	LaTeX with Beamer class version 3.36
Umwandlungsprogramm	pdfTeX-1.40.16
Verschlüsselt	no
Papierformat	453.543 x 283.465 pts
Version des PDF-Formats	1.5