Logic inference using formulas with temporal connectives

✍ Scribed by S. E. Bogomolov

• Publisher: Springer US
• Year: 1993
• Tongue: English
• Weight: 441 KB
• Volume: 28
• Category: Article
• ISSN: 1573-8337
• DOI: 10.1007/bf01131848