Advanced boolean techniques selected papers from the 13th international workshop on boolean problems

Opis bibliograficzny
Korporacja: SpringerLink (Online service)
Kolejni autorzy: Drechsler, Rolf (Redaktor), Soeken, Mathias (Redaktor)
Format: Electronic Resource
Język:English
Wydane: Cham Springer [2020]
Hasła przedmiotowe:
Dostęp online:Available for University of the Philippines Diliman via SpringerLink. Click here to access
Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy