Items where Subject is "03-XX Mathematical logic and foundations > 03Bxx General logic"
![]() | Up a level |
- MSC Classification Numbers (22)
- 03-XX Mathematical logic and foundations (22)
- 03Bxx General logic (22)
- 03-XX Mathematical logic and foundations (22)
Group by: Authors | Item Type
Jump to: F
Number of items at this level: 1.
F
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.