Media type: Book; Conference Proceedings Title: Boolean problems : 9th international workshop ; September 16 - 17, 2010, Freiberg (Sachsen) Contributor: Steinbach, Bernd [Hrsg.] Corporation: Institut für Informatik Event: International Workshop on Boolean Problems imprint: Freiberg: Freiberg Univ. of Mining and Technology, Inst. of Computer Science, 2010 Extent: 238 S.; graph. Darst Language: English ISBN: 9783860124048 RVK notation: SD 2010 : Veranstaltungsjahr 2010 Keywords: Konferenzschrift Origination: Footnote: