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. |
|
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. |
PrintDisplayed: 28/4/2024 08:40