LEARNING CONCEPTS DEFINABLE IN FIRST-ORDER LOGIC WITH COUNTING.
Saved in:
| Title: | LEARNING CONCEPTS DEFINABLE IN FIRST-ORDER LOGIC WITH COUNTING. |
|---|---|
| Authors: | VAN BERGEREM, STEFFEN1, steffen.van.bergerem@hu-berlin.de |
| Source: | Logical Methods in Computer Science (LMCS); 2025, Vol. 21 Issue 3, p1-40, 40p |
| Database: | Applied Science & Technology Source |
| ISSN: | 18605974 |
|---|---|
| DOI: | 10.46298/LMCS-21(3:9)2025 |
