×

zbMATH — the first resource for mathematics

Found 81 Documents (Results 1–81)

100
MathJax
Sutcliffe, Geoff (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2–6, 2005. Proceedings. Berlin: Springer (ISBN 978-3-540-30553-8/pbk). Lecture Notes in Computer Science 3835, 697-711 (2005).
MSC:  03B20 03C40 03F05
PDF BibTeX XML Cite
Full Text: DOI
Löwe, Benedikt (ed.) et al., Foundation of the formal sciences II. Applications of mathematical logic in philosophy and linguistics. Papers of a conference, Bonn, Germany, November 10–13, 2000. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1154-7/hbk). Trends Log. Stud. Log. Libr. 17, 257-260 (2003).
MSC:  03B45 03A05 03B65
PDF BibTeX XML Cite
Löwe, Benedikt (ed.) et al., Foundation of the formal sciences II. Applications of mathematical logic in philosophy and linguistics. Papers of a conference, Bonn, Germany, November 10–13, 2000. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1154-7/hbk). Trends Log. Stud. Log. Libr. 17, 175-184 (2003).
MSC:  03A05 03B60 08A40
PDF BibTeX XML Cite
Berlin: Logos Verlag. Berlin: TU Berlin (Diss. 1999), vi, 145 S. (2000).
MSC:  03B22 03-02
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
Dalla Chiara, Maria Luisa (ed.) et al., Logic and scientific methods. Volume one of the proceedings of the tenth international congress of logic, methodology and philosophy of science, Florence, Italy, August 19-25, 1995. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 259, 7-27 (1997).
MSC:  03F25
PDF BibTeX XML Cite
MSC:  03B30
PDF BibTeX XML Cite
Full Text: EuDML

Filter Results by …

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