×

zbMATH — the first resource for mathematics

Found 44 Documents (Results 1–44)

100
MathJax
Martínez Vidal, C. (ed.) et al., Truth: logic, representation and world. Proceedings of the international congress, Santiago de Compostela, Spain, January 17–20, 1996. Santiago de Compostela: Universidade de Santiago de Compostela. Cursos e Congresos da Universidade de Santiago de Compostela. 88, 193-199 (1996).
MSC:  03C75 08C10 03C20
PDF BibTeX Cite
Börger, Egon (ed.) et al., Computer science logic. 6th workshop, CSL ’92, San Miniato, Italy, September 28 - October 2, 1992. Selected papers. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 702, 231-247 (1993).
Reviewer: E.Grädel (Aachen)
PDF BibTeX Cite

Filter Results by …

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