First order logic and automated theorem proving

Detailed Information on Publication Record

1996

FITTING, Melvin

FITTING, Melvin

2nd ed. New York, xvi, 326, 1996

Springer

0387945938

Změněno: 12/6/2023 04:44, The record has been imported from the library system.

FITTING, Melvin. First order logic and automated theorem proving. 2nd ed. New York: Springer, 1996, xvi, 326. ISBN 0387945938.

FITTING, Melvin. \textit{First order logic and automated theorem proving}. 2nd ed. New York: Springer, 1996, xvi, 326. ISBN~0387945938.