Handbook of satisfiability

Gorde:

Xehetasun bibliografikoak
Erakunde egilea:	ebrary, Inc
Beste egile batzuk:	Biere, Armin
Formatua:	Baliabide elektronikoa eBook
Hizkuntza:	ingelesa
Argitaratua:	Amsterdam, The Netherlands ; Washington, DC : IOS Press, c2009.
Saila:	Frontiers in artificial intelligence and applications ; v. 185.
Gaiak:	Propositional calculus > Congresses. Decision making > Congresses. Computer algorithms > Congresses. Algebra, Boolean > Congresses. Electronic books.
Sarrera elektronikoa:	An electronic book accessible through the World Wide Web; click to view
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

Internet