eBook, PDF

First-Order Logic and Automated Theorem Proving (eBook, PDF)

Versandkostenfrei!

Sofort per Download lieferbar

62,95 €

inkl. MwSt.

Jetzt bewerten

Alle Infos zum eBook verschenken

Weitere Ausgaben:

Broschiertes Buch eBook, PDF

PAYBACK Punkte

31 °P sammeln!

A rigorous mathematical monograph on classical first-order logic. Applications to automated theorem-proving are considered and Prolog programs provided. May serve as a first text on formal logic for graduate students of computer science or mathematics.

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.