Logo Logo
Help
Contact
Switch Language to German
Weitkämper, Felix ORCID: 0000-0002-3895-8279 (2021): Axiomatizing Boolean Differentiation. In: Große, Daniel; Drechsler, Rolf (eds.) : Recent Advances in Boolean Techniques. Springer International Publishing. [Forthcoming]
[img] - Accepted Version
Restricted to Repository staff only
333kB