×

zbMATH — the first resource for mathematics

Found 109 Documents (Results 1–100)

100
MathJax
Comput. Math. Math. Phys. 58, No. 12, 2064-2077 (2018); translation from Zh. Vychisl. Mat. Mat. Fiz. 58, No. 12, 2153-2168 (2018).
PDF BibTeX Cite
Full Text: DOI
Zh. Vychisl. Mat. Mat. Fiz. 52, No. 10, 1926-1935 (2012); translation in Comput. Math. Math. Phys. 52, No. 10, 1472-1481 (2012).
MSC:  68Q25 68W40 15B34
PDF BibTeX Cite
Full Text: DOI Link
Galmiche, Didier (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ’97, Pont-à-Mousson, France, May 13–16, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1227, 343-357 (1997).
MSC:  68T27 03B50 68T15
PDF BibTeX Cite
Full Text: DOI
Du, Dingzhu (ed.) et al., Satisfiability problem: theory and applications. DIMACS workshop, Piscataway, NJ, USA, March 11-13, 1996. Providence, RI: AMS, American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 35, 669-676 (1997).
MSC:  68W15 68Q25 68T20
PDF BibTeX Cite
Johnson, David S. (ed.) et al., Cliques, coloring, and satisfiability. Second DIMACS implementation challenge. Proceedings of a workshop held at DIMACS, October 11–13, 1993. Providence, RI: American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 26, 521-531 (1996).
MSC:  90C09 68W10
PDF BibTeX Cite
Gabbay, Dov M. (ed.) et al., Practical reasoning. International conference on formal and applied practical reasoning, FAPR ’96, Bonn, Germany, June 3–7, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1085, 141-150 (1996).
MSC:  68T27 03B45 03B60
PDF BibTeX Cite
Full Text: DOI
McRobbie, M. A. (ed.) et al., Automated deduction – CADE-13. 13th international conference on automated deduction, New Brunswick, NJ, USA, July/August 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1104, 688-702 (1996).
MSC:  03B35 03B50
PDF BibTeX Cite
Full Text: DOI
McRobbie, M. A. (ed.) et al., Automated deduction – CADE-13. 13th international conference on automated deduction, New Brunswick, NJ, USA, July/August 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1104, 226-230 (1996).
MSC:  68T15 03B50 68T35
PDF BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
Biographic Reference
all top 3
Software