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.

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