Suche nach MIME-Typ
Aus International Center for Computational Logic
Auf dieser Spezialseite können die Dateien nach dem MIME-Typ gefiltert werden.
Die Eingabe muss immer den Medien- und Subtyp beinhalten: image/jpeg
oder image/*
(siehe Dateibeschreibungsseite).
Unten werden bis zu 29 Ergebnisse im Bereich 1 bis 29 angezeigt.
- (Herunterladen) Aibirds-report.zip . . 0 × 0 . . 134 KB . . Lukas Schweizer . . 10:30, 4. Nov. 2015
- (Herunterladen) Beamer-intro.zip . . 0 × 0 . . 2,2 MB . . Emma Dietz . . 12:31, 17. Mai 2019
- (Herunterladen) Coqsrc.zip . . 0 × 0 . . 19 KB . . Tobias Philipp . . 19:57, 14. Mai 2015
- (Herunterladen) Ecai-2020.zip . . 0 × 0 . . 35,62 MB . . Markus Krötzsch . . 07:35, 4. Sep. 2020
- (Herunterladen) Ex-propositional.zip . . 0 × 0 . . 566 Bytes . . Stephan Mennicke . . 10:13, 19. Apr. 2023
- (Herunterladen) Ge2rat.zip . . 0 × 0 . . 7 KB . . Tobias Philipp . . 06:56, 10. Mai 2015
- (Herunterladen) IFCA-solutions.zip . . 0 × 0 . . 2,08 MB . . Sebastian Rudolph . . 20:34, 9. Jan. 2016
- (Herunterladen) KR-2020-rules-tutorial.zip . . 0 × 0 . . 38,6 MB . . Markus Krötzsch . . 14:39, 13. Sep. 2020
- (Herunterladen) Minizinc-T1-Solutions.zip . . 0 × 0 . . 2 KB . . Lukas Schweizer . . 10:21, 2. Nov. 2015
- (Herunterladen) Pdratchk.zip . . 0 × 0 . . 15 KB . . Tobias Philipp . . 08:13, 7. Sep. 2016
- (Herunterladen) Peer-review.zip . . 0 × 0 . . 2 KB . . Lukas Schweizer . . 13:40, 28. Jan. 2019
- (Herunterladen) Pizza.lp.zip . . 0 × 0 . . 1 KB . . Sarah Gaggl . . 13:29, 17. Jun. 2015
- (Herunterladen) Pizza.zip . . 0 × 0 . . 9 KB . . Lukas Schweizer . . 14:15, 3. Jun. 2016
- (Herunterladen) Puzzles.zip . . 0 × 0 . . 398 KB . . Emma Dietz . . 11:57, 1. Jun. 2017
- (Herunterladen) SWC.zip . . 0 × 0 . . 9 KB . . Tobias Philipp . . 21:18, 21. Okt. 2016
- (Herunterladen) Sudoku-beispiele.zip . . 0 × 0 . . 242 KB . . Emma Dietz . . 08:49, 11. Jan. 2019
- (Herunterladen) Sudoku.zip . . 0 × 0 . . 1 KB . . Lukas Schweizer . . 13:47, 17. Apr. 2016
- (Herunterladen) Sudoku cnfs.zip . . 0 × 0 . . 27,64 MB . . Peter Steinke . . 12:05, 29. Jun. 2015
- (Herunterladen) Sudokus.zip . . 0 × 0 . . 2 KB . . Emma Dietz . . 05:41, 18. Jul. 2016
- (Herunterladen) Sudotest.zip . . 0 × 0 . . 37 KB . . Emma Dietz . . 11:54, 1. Jun. 2017
- (Herunterladen) Svl prolog.zip . . 0 × 0 . . 4 KB . . Emma Dietz . . 14:36, 6. Nov. 2019
- (Herunterladen) Svl prolog files.zip . . 0 × 0 . . 4 KB . . Emma Dietz . . 14:33, 6. Nov. 2019
- (Herunterladen) Svloperator.zip . . 0 × 0 . . 454 KB . . Emma Dietz . . 10:04, 20. Jul. 2016
- (Herunterladen) Syllogisms2016.pdf.zip . . 0 × 0 . . 788 KB . . Emma Dietz . . 15:41, 5. Jan. 2017
- (Herunterladen) Syllsoftware.zip . . 0 × 0 . . 29 KB . . Emma Dietz . . 13:52, 13. Jan. 2017
- (Herunterladen) T5-programs.zip . . 0 × 0 . . 2 KB . . Lukas Schweizer . . 15:36, 12. Jan. 2016
- (Herunterladen) VPB.zip . . 0 × 0 . . 7,46 MB . . Tobias Philipp . . 21:09, 21. Okt. 2016
- (Herunterladen) Verifiedpbencoder.zip . . 0 × 0 . . 2 KB . . Tobias Philipp . . 15:09, 14. Mai 2015
- (Herunterladen) Verify-sudoku.zip . . 0 × 0 . . 38 KB . . Emma Dietz . . 15:45, 3. Dez. 2018