ForschungAktuellesAusgewählte ProjekteOnline-ForschungskatalogVolltextsucheProjektePublikationenPatenteVorträge & VeranstaltungenBetreute PromotionenFachgebieteLehr- und ForschungsgebieteProfessor_innenprofileForschungsprofilLeitlinien für die ForschungForschungsstrategieForschungsschwerpunkteDigitale Wirtschaft – KreativwirtschaftGesundheitsforschungIndustrie und Arbeitswelt der ZukunftRegenerative Energien – EnergieeffizienzWelterbe - KulturForschungsclusterCreative ComputingGAME CHANGERIndustrielle ProduktionKultur IslamMoney, Finance, Trade and DevelopmentSustainable Smart CitiesGesundheitKlimagerechte Energieversorgungssysteme und energieeffiziente GebäudeKultur und InformatikSOFTINEForschungsgruppenEinrichtungenAn-InstituteForschungspreisWissenstransferVeranstaltungenTransfer über KöpfeGründungKooperationszentrum Wissenschaft - PraxisKooperationsplattformenPatenteDeutschlandstipendiumThird MissionPublikationenTransferpreisWissenschaftskommunikationKMU-BüroPartnerschaften und NetzwerkeIFAF Berlin - Institut für Angewandte Forschung BerlinBerlin PartnerHochschulallianz HAWtechFHnetEuropean University AssociationForschungsservice für HochschulmitgliederForschungsförderungEU-FörderungNationale FörderungInterne FörderungKooperationenPatente und LizenzenForschungsevaluationForschungsdatenbank my.HTWMessen und VeranstaltungenTransfer- und ProjektkommunikationDer Newsletter "Forsch in die Zukunft"Handreichung WissenschaftskommunikationPromotionEinstiegsinformationenWege zur PromotionPromotionsmöglichkeit findenPromotion planen und vorbereitenPromotion finanzieren ForschungAktuellesAusgewählte ProjekteOnline-ForschungskatalogVolltextsucheProjektePublikationenPatenteVorträge & VeranstaltungenBetreute PromotionenFachgebieteLehr- und ForschungsgebieteProfessor_innenprofileForschungsprofilLeitlinien für die ForschungForschungsstrategieForschungsschwerpunkteDigitale Wirtschaft – KreativwirtschaftGesundheitsforschungIndustrie und Arbeitswelt der ZukunftRegenerative Energien – EnergieeffizienzWelterbe - KulturForschungsclusterCreative ComputingGAME CHANGERIndustrielle ProduktionKultur IslamMoney, Finance, Trade and DevelopmentSustainable Smart CitiesGesundheitKlimagerechte Energieversorgungssysteme und energieeffiziente GebäudeKultur und InformatikSOFTINEForschungsgruppenEinrichtungenAn-InstituteForschungspreisWissenstransferVeranstaltungenTransfer über KöpfeGründungKooperationszentrum Wissenschaft - PraxisKooperationsplattformenPatenteDeutschlandstipendiumThird MissionPublikationenTransferpreisWissenschaftskommunikationKMU-BüroPartnerschaften und NetzwerkeIFAF Berlin - Institut für Angewandte Forschung BerlinBerlin PartnerHochschulallianz HAWtechFHnetEuropean University AssociationForschungsservice für HochschulmitgliederForschungsförderungEU-FörderungNationale FörderungInterne FörderungKooperationenPatente und LizenzenForschungsevaluationForschungsdatenbank my.HTWMessen und VeranstaltungenTransfer- und ProjektkommunikationDer Newsletter "Forsch in die Zukunft"Handreichung WissenschaftskommunikationPromotionEinstiegsinformationenWege zur PromotionPromotionsmöglichkeit findenPromotion planen und vorbereitenPromotion finanzieren HTW Berlin Forschung Online-Forschungskatalog Publikationen Structural and computational aspects of restricted Boolean formulas Structural and computational aspects of restricted Boolean formulas Buch / Monographie › 2007 Buch / Monographie Porschen, Stefan: Structural and computational aspects of restricted Boolean formulas. Fachgruppe Mathematik/Informatik, Universität zu Köln, : 2007 . Zitieren BibTeX / RIS
Structural and computational aspects of restricted Boolean formulas Buch / Monographie › 2007 Buch / Monographie Porschen, Stefan: Structural and computational aspects of restricted Boolean formulas. Fachgruppe Mathematik/Informatik, Universität zu Köln, : 2007 . Zitieren BibTeX / RIS