×

zbMATH — the first resource for mathematics

Found 90 Documents (Results 1–90)

100
MathJax
Amsterdam: Elsevier/Academic Press (ISBN 978-0-08-100751-8/pbk; 978-0-12-804509-1/ebook). xxi, 136 p. (2018).
PDF BibTeX XML Cite
Full Text: Link
de Paiva, Valeria (ed.) et al., Proceedings of the 6th workshop on intuitionistic modal logic and applications (IMLA 2013) in association with UNILOG 2013, Rio de Janeiro, Brazil, April 7, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 300, 47-70 (2014).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Falaschi, Moreno (ed.), Proceedings of the 17th international workshop on functional and (constraint) logic programming (WFLP 2008), Siena, Italy, July 3–4, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 246, 183-198 (2009).
MSC:  68N17 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Hájek, Petr (ed.) et al., Logic, methodology and philosophy of science. Proceedings of the 12th international congress, Oviedo, Spain, August 2003. London: King’s College Publications (ISBN 1-904987-21-4/pbk). 207-225 (2005).
PDF BibTeX XML Cite
Schmidt, Renate (ed.) et al., Advances in modal logic. Vol. 5. Selected papers from the 5th conference (AiML 2004), Manchester, UK, September 9–11, 2004. London: King’s College Publications (ISBN 1-904987-22-2/pbk). 367-383 (2005).
MSC:  03B45 03B60
PDF BibTeX XML Cite
Kameyama, Yukiyoshi (ed.) et al., Functional and logic programming. 7th international symposium, FLOPS 2004, Nara, Japan, April 7–9, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21402-X/pbk). Lecture Notes in Computer Science 2998, 39-54 (2004).
MSC:  68N17
PDF BibTeX XML Cite
Full Text: DOI
Alferes, José Júlio (ed.) et al., Logics in artificial intelligence. 9th European conference, JELIA 2004, Lisbon, Portugal, September 27–30, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23242-7/pbk). Lecture Notes in Computer Science 3229. Lecture Notes in Artificial Intelligence, 279-293 (2004).
MSC:  68N17
PDF BibTeX XML Cite
Full Text: DOI
Demoen, Bart (ed.) et al., Logic programming. 20th international conference, ICLP 2004, Saint-Malo, France, September 6–10, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22671-0/pbk). Lecture Notes in Computer Science 3132, 284-298 (2004).
MSC:  68N17 03B70
PDF BibTeX XML Cite
Full Text: DOI
Callaghan, Paul (ed.) et al., Types for proofs and programs. International workshop, TYPES 2000, Durham, GB, December 8–12, 2000. Selected papers. Berlin: Springer (ISBN 3-540-43287-6). Lect. Notes Comput. Sci. 2277, 1-23 (2002).
MSC:  03F35 03F55 03E70
PDF BibTeX XML Cite
Full Text: Link
Fuhrmann, André (ed.) et al., Logic, action, and information. Essays on logic in philosophy and artificial intelligence. Based on a meeting held in autumn 1992 in Konstanz, Germany. Berlin: Walter de Gruyter. 392-414 (1996).
Reviewer: S.H.Lee (Seoul)
PDF BibTeX XML Cite
Lecture Notes in Computer Science 475. Berlin etc.: Springer-Verlag (ISBN 3-540-53590-X). VIII, 364 p. (1991).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

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