×

zbMATH — the first resource for mathematics

Found 59 Documents (Results 1–59)

100
MathJax
van der Hoek, Wiebe (ed.) et al., Logic, rationality, and interaction. 5th international workshop, LORI 2015, Taipei, Taiwan, October 28–30, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-48560-6/pbk; 978-3-662-48561-3/ebook). Lecture Notes in Computer Science 9394, 379-391 (2015).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 235-246, electronic only (2012).
MSC:  68Q55 68T27
PDF BibTeX XML Cite
Full Text: DOI
Hill, Patricia M. (ed.) et al., Logic programming. 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14–17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02845-8/pbk). Lecture Notes in Computer Science 5649, 464-478 (2009).
MSC:  68N17 03B50 68T27
PDF BibTeX XML Cite
Full Text: DOI
Cambridge: Cambridge University Press (ISBN 978-0-521-70757-2/pbk; 978-0-521-88128-9/hbk). xii, 392 p. EUR 20.99, $ 36.99/pbk; EUR 48.00, $ 90.00/hbk; $ 30.00/eBook (2008).
PDF BibTeX XML Cite
Karpenko, A. S. (ed.), Logical investigations. No. 7. Papers from the 2nd international conference “Smirnov’s Readings”, Moscow, Russia, May 1999. Moskva: Nauka. 252-260 (2000).
MSC:  03B53 03B50
PDF BibTeX XML Cite
Rijke, Maarten de (ed.), Diamonds and defaults. Studies in pure and applied intensional logic. Papers presented at a seminar on intensional logic held at the University of Amsterdam, Netherlands during the period September 1990-May 1991. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 229, 147-173 (1993).
MSC:  03B60 03B80 68T30
PDF BibTeX XML Cite
Principles of knowledge representation and reasoning, Proc. 2nd Int. Conf., Cambridge/MA (USA) 1991, 570-581 (1991).
MSC:  68T35 68Q25
PDF BibTeX XML Cite

Filter Results by …

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