Logo Logo
Eine Ebene nach oben
Exportieren als [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Gruppiert nach: Dokumententyp | Veröffentlichungsdatum
Springe zu: 2021
Anzahl der Publikationen: 1

2021

Weitkämper, Felix ORCID logoORCID: https://orcid.org/0000-0002-3895-8279 (2021): Axiomatizing Boolean Differentiation. In: Große, Daniel und Drechsler, Rolf (Hrsg.): Recent Findings in Boolean Techniques. Selected Papers from the 14th International Workshop on Boolean Problems. Cham: Springer. S. 83-104 [PDF, 333kB]

Diese Liste wurde am Sat Mar 23 21:53:33 2024 CET erstellt.