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

Bibliografiska uppgifter
Institutionell upphovsman: SpringerLink (Online service)
Övriga upphovsmän: Drechsler, Rolf (Utgivare, redaktör, sammanställare), Soeken, Mathias (Utgivare, redaktör, sammanställare)
Materialtyp: Electronic Resource
Språk:English
Publicerad: Cham Springer [2020]
Ämnen:
Länkar: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