Zielona Góra: Uniwersytet Zielonogórski
AMCS, volume 3, number 2 (1993) ; click here to follow the link
Biblioteka Uniwersytetu Zielonogórskiego
Sep 1, 2021
Jul 7, 2020
19
https://www.zbc.uz.zgora.pl/publication/63833
Edition name | Date |
---|---|
Automated realization of Boolean algebra theorems in the simplification of logical expressions | Sep 1, 2021 |
Hammouri, Hassan Bounit, Hamid Logemann, Hartmut - red. Townley, Stuart - red.
Kaczorek, Tadeusz (1932- ) Logemann, Hartmut - red. Townley, Stuart - red.
Tokarzewski, Stanisław Telega, Józef J. Logemann, Hartmut - red. Townley, Stuart - red.
Rutkowska, Danuta Logemann, Hartmut - red. Townley, Stuart - red.
Müller, Peter C. Logemann, Hartmut - red. Townley, Stuart - red.
Avalos, George Lasiecka, Irena Logemann, Hartmut - red. Townley, Stuart - red.
Grabowski, Piotr Logemann, Hartmut - red. Townley, Stuart - red.
Harteneck, Moritz Stewart, Robert W. Logemann, Hartmut - red. Townley, Stuart - red.