Search Results

Filter
  • 1-10 of  144 results for "eds"
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

The CADE-26 automated theorem proving system competition - CASC-26.

  • Source: AI Communications. 2017, Vol. 30 Issue 6, p419-432. 14p.

Record details

×
Academic Journal

Low and high energy solutions of oscillatory non-autonomous Schrödinger equations with magnetic field.

  • Source: Asymptotic Analysis. 2021, Vol. 123 Issue 3/4, p203-236. 34p.

Record details

×
Academic Journal

Learning in Description Logics with Fuzzy Concrete Domains.

  • Source: Fundamenta Informaticae. 2015, Vol. 140 Issue 3-4, p373-391. 19p.

Record details

×
Academic Journal

Structural Legal Visualization.

  • Source: Informatica. 2015, Vol. 26 Issue 2, p199-219. 21p.

Record details

×
Academic Journal

Rough Sets: Some Foundational Issues.

  • Source: Fundamenta Informaticae. 2013, Vol. 127 Issue 1-4, p1-15. 15p.

Record details

×
  • 1-10 of  144 results for "eds"