Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Recent Successes with a Meta-Logical Approach to Universal Logical Reasoning (Extended Abstract)

Subjects: Automated Reasoning; Universal Reasoning; Semantic Embedding

  • Source: urn:isbn:978-3-319-70847-8 ; Formal Methods: Foundations and Applications - 20th Brazilian Symposium SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings, 7-11 (2017-11-11);

تفاصيل العنوان

×
  • 1-10 ل  25 نتائج ل ""Universal""