|
|
.
|
|
|
0 (hodnocen0 x )
|
|
|
EB
|
|
|
ONLINE
|
|
|
|
|
|
|
|
|
Second edition
|
|
|
New York : Springer, [1996]
|
|
|
1 online resource (336 pages) : illustrations
|
| Externí odkaz |
 Plný text PDF
|
|
* Návod pro vzdálený přístup
|
|
|
|
|
|
|
|
|
|
ISBN 9781461223603 (e-book)
|
|
|
ISBN 0387945938 (New York : hardcover : alk. paper)
|
|
|
ISBN 9781461275152
|
|
|
Graduate texts in computer science
|
|
|
Print version: Fitting, Melvin. First-order logic and automated theorem proving. New York : Springer, [1996] xvi, 326 pages ; 25 cm. Graduate texts in computer science ISBN 9781461275152
|
|
|
Includes bibliographical references and index
|
|
|
|
|
|
|
|
|
|
|
|
001807006
|
|
|
full
|
|
|
(Au-PeEL)EBL3077179
|
|
|
(CaPaEBR)ebr10921017
|
|
|
(MiAaPQ)EBC3077179
|
|
|
(OCoLC)958526287
|
Dotazy a připomínky