zbMATH — the first resource for mathematics

Found 8 Documents (Results 1–8)

Robinson, Alan (ed.) et al., Handbook of automated reasoning. In 2 vols. Amsterdam: North-Holland/ Elsevier. 1791-1849 (2001).
Reviewer: N.Zamov (Kazan)
MSC:  68T15 03B25
PDF BibTeX Cite
Lecture Notes in Computer Science 679. Lecture Notes in Artificial Intelligence. Berlin: Springer-Verlag. VIII, 205 p. DM 52.00 /sc (1993).
MSC:  03B25 03-02 68T15 03-04 03B35
PDF BibTeX Cite
Full Text: DOI