Erschienen in: Open Access 01.10.2015 Mechanizing Complemented Lattices Within Mizar Type System verfasst von: Adam Grabowski Erschienen in: Journal of Automated Reasoning | Ausgabe 3/2015 Diesen Artikel als PDF-Version lesen. loading … Vorheriger Artikel Reconsidering Pairs and Functions as Sets Nächster Artikel Formal Proofs of Hypergeometric Sums download DOWNLOAD print DRUCKEN