- Tytuł:
- Logical Methods in Computer Science
- Współwytwórcy:
- Scott, Dana S.
- Data publikacji:
- 2005-
- Wydawca:
- International Federation of Computational Logic
- Słowa kluczowe:
-
automatyczne dowodzenie twierdzeń
teoria informatyki
logika w informatyce
sztuczna inteligencja
programowanie logiczne
automatyczne wnioskowanie - Pokaż więcej
- Dostawca treści:
- Jagiellońska Biblioteka Cyfrowa
Inne
