×

zbMATH — the first resource for mathematics

Found 46 Documents (Results 1–46)

100
MathJax
Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications (ISBN 978-1-84890-307-4/pbk). 197-210 (2019).
PDF BibTeX XML Cite
Arazim, Pavel (ed.) et al., The Logica yearbook 2014. Proceedings of the 28th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16–20, 2014. London: College Publications (ISBN 978-1-84890-177-3/pbk). 91-108 (2015).
MSC:  03B65 03B60
PDF BibTeX XML Cite
Dančák, Michal (ed.) et al., The Logica yearbook 2013. Proceedings of the 27th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 17–21, 2013. London: College Publications (ISBN 978-1-84890-144-5/pbk). 15-33 (2014).
MSC:  03B40 03B60
PDF BibTeX XML Cite
Logic, Epistemology, and the Unity of Science 17. Berlin: Springer (ISBN 978-90-481-8811-6/hbk; 978-90-481-8812-3/ebook). xiii, 552 p. (2010).
PDF BibTeX XML Cite
Full Text: DOI
Futatsugi, Kokichi, The 3rd international workshop on rewriting logic and its applications, RWLW. Kanazawa City Cultural Hall, Kanzawa, Japan, September 18-20, 2000. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 36, 17 p., electronic only (2000).
MSC:  68Q42 68T27
PDF BibTeX XML Cite
Full Text: Link
Smolka, Gerd (ed.), Programming languages and systems. 9th European symposium on programming, ESOP 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1782, 351-365 (2000).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Dalla Chiara, Maria Luisa (ed.) et al., Language, quantum, music. Papers of the 10th international congress of logic, methodology and philosophy of science, Florence, Italy, August 1995. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 281, 37-48 (1999).
MSC:  68T01
PDF BibTeX XML Cite
Schroeder-Heister, Peter (ed.) et al., Substructural logics. Seminar for natural-language processing systems of the University of Tübingen, Germany, on 7-8 October 1990. Oxford: Clarendon Press. Stud. Log. Comput. 2, 357-376 (1994).
PDF BibTeX XML Cite
Principles of knowledge representation and reasoning, Proc. 2nd Int. Conf., Cambridge/MA (USA) 1991, 238-249 (1991).
MSC:  68T30 68N01 68Q60
PDF BibTeX XML Cite

Filter Results by …

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