From Linear Operators to Computational Biology || Decision Procedures for Elementary Sublanguages of Set Theory. XVII. Commonly Occurring Decidable Extensions of Multi-level Syllogistic

✍ Scribed by Davis, Martin; Schonberg, Edmond

• Book ID: 120169107
• Publisher: Springer London
• Year: 2013
• Weight: 542 KB
• Category: Article
• ISBN: 1447142829
• DOI: 10.1007/978-1-4471-4282-9_5