×

zbMATH — the first resource for mathematics

Found 94 Documents (Results 1–94)

100
MathJax
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
Stuckey, Peter J. (ed.), Logic programming. 18th international conference, ICLP 2002, Copenhagen, Denmark, July 29 – August 1, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43930-7). Lect. Notes Comput. Sci. 2401, 130-147 (2002).
MSC:  68P15
PDF BibTeX XML Cite
Full Text: Link
Proceedings of the 10th congress of Yugoslav mathematicians, Belgrade, Yugoslavia, January 21-24, 2001. Belgrade: University of Belgrade, Faculty of Mathematics. 33-46 (2001).
PDF BibTeX XML Cite
Berlin: Logos Verlag. Berlin: TU Berlin (Diss. 1999), vi, 145 S. (2000).
MSC:  03B22 03-02
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
Proceedings of the IX Latin American symposium on mathematical logic, Bahía Blanca, Argentina, August 3-8, 1992. Part 2. Bahía Blanca: Universidad Nacional del Sur, Notas Logica Mat. 39, 1-30 (1994).
MSC:  03B22
PDF BibTeX XML Cite
Prawitz, D. (ed.) et al., Logic, methodology and philosophy of science IX. Proceedings of the ninth international congress of logic, methodology and philosophy of science, Uppsala, Sweden, August 7-14, 1991. Amsterdam: North-Holland. Stud. Logic Found. Math. 134, 69-89 (1994).
PDF BibTeX XML Cite
Gottlob, Georg (ed.) et al., Computational logic and proof theory. 3rd Kurt Gödel Colloquium, KGC ’93, Brno, Czech Republic, August 24-27, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 713, 289-300 (1993).
MSC:  03B45
PDF BibTeX XML Cite
Bell, John (ed.) et al., The proceedings of the Bertrand Russell memorial logic conference, Uldum, Denmark, August 4–16, 1971. Leeds: Bertrand Russell Memorial Logic Conference. 141-216 (1973).
MSC:  03C35 03B22
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
Biographic Reference
all top 3
Software