Autorzy | |
Wydawnictwo | Springer Nature |
Data wydania | 31/10/2003 |
Wydanie | Pierwsze |
Forma publikacji | eBook: Fixed Page eTextbook (PDF) |
Język | angielski |
ISBN | 9783540450856 |
Kategorie | Logika matematyczna, Programowanie komputerowe/rozwój oprogramowania, Języki programowania i skrypty, Sztuczna inteligencja |
Automated Deduction - CADE-19