Formally Proving the Boolean Triples Conjecture
- Luis Cruz-Filipe
- , Peter Schneider-Kamp
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review