×

zbMATH — the first resource for mathematics

Found 94 Documents (Results 1–94)

100
MathJax
Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 407-425 (2017).
MSC:  03D05 03B25 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 53, No. 4, 512-523 (2017); translation from Kibern. Sist. Anal. 2017, No. 4, 22-36 (2017).
MSC:  68Q45 03D05 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Hung, Dang Van (ed.) et al., Theoretical aspects of computing – ICTAC 2017. 14th international colloquium, Hanoi, Vietnam, October 23–27, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10580, 51-69 (2017).
MSC:  68Q85 03B45 03B70
PDF BibTeX XML Cite
Full Text: DOI
The Frontiers Collection. Berlin: Springer (ISBN 978-3-540-71883-3/hbk; 978-3-540-71884-0/ebook). xiii, 378 p. (2008).
PDF BibTeX XML Cite
Full Text: DOI
Beckmann, Arnold (ed.) et al., Logic and theory of algorithms. 4th conference on computability in Europe, CiE 2008, Athens, Greece, June 15–20, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-69405-2/pbk). Lecture Notes in Computer Science 5028, 533-543 (2008).
PDF BibTeX XML Cite
Full Text: DOI
Physics Textbook. Weinheim: Wiley-VCH (ISBN 3-527-40391-4/pbk; 978-3-527-61911-5/ebook). x, 289 p. (2005).
PDF BibTeX XML Cite
Full Text: DOI
Kasyanov, V. N. (ed.), Supercomputing support and internet-oriented technologies. Novosibirsk: Institut Sistem Informatiki Im. A. P. Ershova SO RAN, 245-253 (2001).
MSC:  00A71 90B50
PDF BibTeX XML Cite
Calmet, Jacques (ed.) et al., Artificial intelligence and symbolic computation. International conference AISC ’98, Plattsburgh, NY, USA, September 16–18, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1476, 296-307 (1998).
Reviewer: N.Zamov (Kazan’)
MSC:  03B35 68T27
PDF BibTeX XML Cite
McCune, William (ed.), Automated deduction – CADE-14. 14th international conference on automated deduction, Townsville, North Queensland, Australia. July 13–17, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1249, 237-251 (1997).
MSC:  68V15 03B35 03B65
PDF BibTeX XML Cite
Full Text: DOI
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, 313-327 (1997).
MSC:  68T15 03B35
PDF BibTeX XML 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 XML Cite
Full Text: DOI
Migliolo, P. (ed.) et al., Theorem proving with analytic tableaux and related methods. 5th international workshop, TABLEAUX ’96, Terrasini, Palermo, Italy, May 15–17, 1996. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 1071, 244-260 (1996).
MSC:  68T15 03B20 03B35 03B45
PDF BibTeX XML Cite
Full Text: DOI
Migliolo, P. (ed.) et al., Theorem proving with analytic tableaux and related methods. 5th international workshop, TABLEAUX ’96, Terrasini, Palermo, Italy, May 15–17, 1996. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 1071, 80-92 (1996).
MSC:  03B35 03B44 68T15
PDF BibTeX XML Cite
Full Text: DOI
Sandewall, Erik (ed.) et al., SCAI ’93, 4th Scandinavian conference on artificial intelligence. Proceedings, Electrum, Stockholm, Sweden, May 4-7, 1993. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 18, 10-19 (1993).
MSC:  03B35 68T27 68T15 03B45 03B60
PDF BibTeX XML Cite
Crossley, John N. (ed.) et al., Logical methods. In honor of Anil Nerode’s 60th birthday. Basel: Birkhäuser. Prog. Comput. Sci. Appl. Log. 12, 222-288 (1993).
Reviewer: N.Curteanu (Iaşi)
MSC:  03B70 68W30 03B35 68Q60 12Y05
PDF BibTeX XML Cite
Logic from computer science, Proc. Workshop, Berkeley/CA (USA) 1989, Publ., Math. Sci. Res. Inst. 21, 1-16 (1992).
MSC:  03B70 03B45
PDF BibTeX XML Cite

Filter Results by …

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