The combination problem in first-order logic the unsorted case

• TINELLI C.

Journal

• Proc. Combination of Decision Procedures : Summer School 2004

  Proc. Combination of Decision Procedures : Summer School 2004 2004

Details

• CRID: 1570854176015610112
• NII Article ID: 10026031113
• Data Source:
  • CiNii Articles