×

zbMATH — the first resource for mathematics

Found 99 Documents (Results 1–99)

100
MathJax
Kahle, Reinhard (ed.) et al., Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13–14, 2013. Basel: Birkhäuser/Springer. Prog. Comput. Sci. Appl. Log. 28, 65-77 (2016).
MSC:  03B10 03B20
PDF BibTeX Cite
Full Text: DOI
Classic Reprints. Socorro, NM: Advanced Reasoning Forum (ISBN 978-1-938421-26-6/pbk). 278 p. (2015).
PDF BibTeX Cite
Bonizzoni, Paola (ed.) et al., The nature of computation. Logic, algorithms, applications. 9th conference on computability in Europe, CiE 2013, Milan, Italy, July 1–5, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7921, 342-352 (2013).
PDF BibTeX Cite
Full Text: DOI
Cao, Bing-Yuan (ed.) et al., Quantitative logic and soft computing 2010. Vol. 2. Proceedings of the 2nd international conference (QL & SC 2010), Xiamen, China, October 22–25, 2010. Berlin: Springer (ISBN 978-3-642-15659-5/pbk; 978-3-642-15660-1/ebook). Advances in Intelligent and Soft Computing 82, 127-134 (2010).
MSC:  03B05 54E35
PDF BibTeX Cite
Full Text: DOI
Cholak, Peter A. (ed.) et al., Computability theory and its applications. Current trends and open problems. Proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, Boulder, CO, USA, June 13-17, 1999. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 257, 221-239 (2000).
PDF BibTeX Cite
Lin, T. Y. (ed.) et al., Rough sets and data mining: analysis of imprecise data. Selected papers presented at a workshop of the 1995 ACM computer science conference, CSC ’95. Boston, MA: Kluwer Academic Publishers. 411-425 (1997).
MSC:  03G25 68T27
PDF BibTeX Cite
Abadi, Martín (ed.) et al., Theoretical aspects of computer software. 3rd international symposium, TACS ’97. Sendai, Japan, September 23–26, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1281, 213-232 (1997).
MSC:  03B70 68Q55 03G10
PDF BibTeX Cite
Ursini, Aldo (ed.) et al., Logic and algebra. Proceedings of the international conference dedicated to the memory of Roberto Magari, April 26–30, 1994, Pontignano, Italy. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 180, 317-325 (1996).
PDF BibTeX Cite

Filter Results by …

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