A general method for matching arbitrary logical statements in mechanized retrieval systems

✍ Scribed by Uhlmann, Wolfram

• Book ID: 112002949
• Publisher: Wiley (John Wiley & Sons)
• Year: 1969
• Weight: 561 KB
• Volume: 20
• Category: Article
• ISSN: 0096-946X
• DOI: 10.1002/asi.4630200312