×

zbMATH — the first resource for mathematics

Found 27 Documents (Results 1–27)

100
MathJax
Poche. Paris: Éditions Le Pommier (ISBN 978-2-7465-0561-2/pbk). 224 p. (2011).
PDF BibTeX XML Cite
Paris: Éditions Le Pommier (ISBN 978-2-7465-0324-3/pbk). 224 p. (2007).
PDF BibTeX XML Cite
Robinson, Alan (ed.) et al., Handbook of automated reasoning. In 2 vols. Amsterdam: North-Holland/ Elsevier; 0-444-50812-0 (vol. 2); 0-444-50813-9 (set)). 611-706 (2001).
Reviewer: N.Zamov (Kazan)
MSC:  03B35 68T15 03-02 68-02
PDF BibTeX XML Cite
Karpenko, A. S. (ed.) et al., Logical investigations. No. 6. Papers from the 1st international conference “Smirnov’s Readings”, Moscow, Russia, March 1997. Moscow: Izdatel’stvo “Rossijskaya Politicheskaya Ehntsiklopediya” (ROSSPEHN). 268-275 (1999).
MSC:  03-04
PDF BibTeX XML Cite
München: Univ. München, Fakultät für Mathematik und Informatik, 148 S. (1999).
MSC:  03B35 68T15 03-02 68-02
PDF BibTeX XML 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 XML Cite
Full Text: DOI
Kazan’: Izdatel’stvo Kazanskogo Universiteta, 140 p. (1987).
MSC:  03D30 03-02 03D20
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Year of Publication
all top 3
Classification
all top 3
Software