TY  - GEN
AU  - Farmer,William M.
TI  - Chiron: A Multi-Paradigm Logic 
KW  - Matematyka
KW  - oprogramowanie
KW  - kaba
KW  - Automatyczne dowodzenie twierdzeń
KW  - Aksjomatyczna teoria zbiorów
N1  - Tytuł. nagł; Bibliogr. s. 18-19
ER  -