×

zbMATH — the first resource for mathematics

Foundations of logic programming. 2nd ext. ed. (English) Zbl 0668.68004
Symbolic Computation. Berlin etc.: Springer-Verlag. XII, 212 p.; DM 88.00 (1987).
See the review of the first edition (1984) in Zbl 0547.68005.

MSC:
68-02 Research exposition (monographs, survey articles) pertaining to computer science
68N01 General topics in the theory of software
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
68W30 Symbolic computation and algebraic computation
03B35 Mechanization of proofs and logical operations
03C99 Model theory
68Q65 Abstract data types; algebraic specification
68Q60 Specification and verification (program logics, model checking, etc.)
PDF BibTeX XML Cite