- Tytuł:
- Sweet sixteen : automation via embedding into classical higher-order logic
- Autorzy:
- Steen, Alexander. Autor
- Współwytwórcy:
- Benzmüller, Christoph. Autor
- Data publikacji:
- 2016
- Tematy:
- Logika matematyczna
- Pokaż więcej
- Dostawca treści:
- Academica
Artykuł