FITTING, Melvin. First order logic and automated theorem proving. 2nd ed. New York: Springer, 1996, xvi, 326. ISBN 0387945938. |
Other formats:
BibTeX
LaTeX
RIS
|
Basic information | |
---|---|
Original name | First order logic and automated theorem proving |
Authors | FITTING, Melvin. |
Edition | 2nd ed. New York, xvi, 326, 1996. |
Publisher | Springer |
Other information | |
---|---|
ISBN | 0387945938 |
Changed by | The record has been imported from the library system. Changed: 12/6/2023 04:44. |