Items where Subject is "03-XX Mathematical logic and foundations > 03Bxx General logic"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items at this level: 1.

Franco, John and Gallo, Giorgio and Kleine B√ľning, Hans and Speckenmeyer, Ewald and Spera, Cosimo (1996) Workshop on the satisfiability problem.
Technical Report , 165 p.

This list was generated on Mon Aug 21 04:02:37 2017 CEST.