First order logic and automated theorem proving
FITTING, Melvin. First order logic and automated theorem proving. 2nd ed. New York: Springer, 1996, xvi, 326. ISBN 0387945938. |
Další formáty:
BibTeX
LaTeX
RIS
|
Základní údaje | |
---|---|
Originální název | First order logic and automated theorem proving |
Autoři | FITTING, Melvin. |
Vydání | 2nd ed. New York, xvi, 326, 1996. |
Nakladatel | Springer |
Další údaje | |
---|---|
ISBN | 0387945938 |
Změnil | Záznam byl importován z knihovního systému. Změněno: 12. 6. 2023 04:44. |
VytisknoutZobrazeno: 6. 10. 2024 15:51