Many-sorted logic and its applications

Author(s)

• Meinke, K. (Karl)
• Tucker, J. V. (John V.)

Bibliographic Information

Many-sorted logic and its applications

edited by K. Meinke and J.V. Tucker

（Wiley professional computing）

Wiley, c1993

• NCID: BA19413699
• ISBN:
  • 0471934852
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Chichester ; New York
• Pages/Volumes: xvii, 397 p.
• Size: 24 cm
• Classification:
  • DC20 : 511.30285
• Parent Bibliography ID:
  • BA11459663