1996

First order logic and automated theorem proving

FITTING, Melvin

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
Změněno: 12/6/2023 04:44, The record has been imported from the library system.