×

zbMATH — the first resource for mathematics

Found 32 Documents (Results 1–32)

100
MathJax
Yang, Syraya Chin-Mu (ed.) et al., Structural analysis of non-classical logics. The proceedings of the second Taiwan philosophical logic colloquium, TPLC 2014, Taipei, Taiwan, October 24–25, 2014. Berlin: Springer. Log. Asia: Stud. Log. Libr., 201-221 (2016).
MSC:  03B65 68T27 94A40
PDF BibTeX XML Cite
Full Text: DOI
Tyrrell, Andy M. (ed.) et al., Evolvable systems: From biology to hardware. 5th international conference, ICES 2003, Trondheim, Norway, March 17–20, 2003. Proceedings. Berlin: Springer (ISBN 3-540-00730-X/pbk). Lect. Notes Comput. Sci. 2606, 377-386 (2003).
MSC:  68U99 68T05 94C10
PDF BibTeX XML Cite
Full Text: Link
Seligman, Jerry (ed.) et al., Logic, language and computation. Vol. 1. Proceedings of the conference on information-oriented approaches to logic, language and computation, Moraga, CA, USA, June 12–15, 1994. Stanford, CA: Center for the Study of Language and Information (CSLI). CSLI Lect. Notes. 58, 479-494 (1996).
MSC:  03B60 68T27 94A15
PDF BibTeX XML Cite

Filter Results by …

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