Items where Subject is "03-XX Mathematical logic and foundations > 03Bxx General logic > 03B70 Logic in computer science"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors | Item Type
Jump to: B
Number of items at this level: 2.

B

Ben-Khalifa, Kamel and Motameny, Susanne (2009) Horn representation of a concept lattice.
Published in: International journal of general systems : IJGS ; a comprehensive periodical devoted to general systems ; methodology, applications and education Vol. 38 (4). pp. 469-483.

Buchheim, Christoph and Rinaldi, Giovanni (2009) Terse Integer Linear Programs for Boolean Optimization.
Published in: Journal on Satisfiability, Boolean Modeling and Computation Vol. 6. pp. 121-139.

This list was generated on Tue Oct 24 04:07:39 2017 CEST.