×

zbMATH — the first resource for mathematics

Found 95 Documents (Results 1–95)

100
MathJax
Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 739-748 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Arazim, Pavel (ed.) et al., The Logica yearbook 2015. Proceedings of the 29th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 15–19, 2015. London: College Publications. 133-156 (2016).
MSC:  03B10 03B50 03B22
PDF BibTeX XML Cite
Makinson, David (ed.) et al., Towards mathematical philosophy. Papers from the Studia Logica conference Trends in Logic IV, Toruń, Poland, September 1–4, 2006. Berlin: Springer (ISBN 978-1-4020-9083-7/hbk; 978-1-4020-9084-4/e-book). Trends in Logic–Studia Logica Library 28, 187-199 (2009).
MSC:  03B10 03B20 03B50
PDF BibTeX XML Cite
Full Text: DOI
Cambridge: Cambridge University Press (ISBN 978-0-521-70757-2/pbk; 978-0-521-88128-9/hbk). xii, 392 p. EUR 20.99, $ 36.99/pbk; EUR 48.00, $ 90.00/hbk; $ 30.00/eBook (2008).
PDF BibTeX XML Cite
Handbook of Philosophical Logic 2. Dordrecht: Kluwer Academic Publishers (ISBN 0-7923-7126-7/hbk). xiii, 408 p. (2001).
PDF BibTeX XML Cite
Pandu Rangan, C. (ed.) et al., Foundations of software technology and theoretical computer science. 19th conference, Chennai, India, December 13-15, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1738, 258-268 (1999).
PDF BibTeX XML Cite
Fiadeiro, José Luiz (ed.), Recent trends in algebraic development techniques. 13th international workshop, WADT ’98, Lisbon, Portugal, April 2-4, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1589, 183-197 (1999).
Reviewer: M.Duží (Opava)
PDF BibTeX XML Cite
Gottlob, Georg (ed.) et al., Computer science logic. 12th international workshop, CSL ’98, annual conference of the EACSL, Brno, Czech Republic, August 24–28, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1584, 399-414 (1999).
PDF BibTeX XML Cite
Voronkov, Andrei (ed.), Logic programming and automated reasoning. 4th international conference, LPAR ’93, St. Petersburg, Russia, July 13-20, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 698, 345-347 (1993).
MSC:  68T15 03B50
PDF BibTeX XML Cite
Novák, Vilém (ed.) et al., Fuzzy approach to reasoning and decision- making. Selected papers of the international symposium held at Bechyně, Czechoslovakia, 25-29 June 1990. Dordrecht, Prague: Kluwer Academic Publishers, Akademia. Theory Decis. Libr., Ser. D. 8, 17-27 (1992).
MSC:  03B52 03B50
PDF BibTeX XML Cite
The Kluwer International Series in Engineering and Computer Science. 129. Dordrecht etc.: Kluwer Academic Publishers. xviii, 248 p. (1991).
Reviewer: O.M.Kosheleva
MSC:  68T27 03B50 68-02
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
Software