×

zbMATH — the first resource for mathematics

Found 30 Documents (Results 1–30)

100
MathJax
Ronchi della Rocca, Simona (ed.), Computer science logic 2013. Selected papers of the 27th CSL workshop and 22nd annual conference of the European Association for Computer Science Logic (EACSL), Torino, Italy, September 2–5, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-60-6). LIPIcs – Leibniz International Proceedings in Informatics 23, 469-483 (2013).
MSC:  03B70 68N30
PDF BibTeX XML Cite
Full Text: DOI
Dalla Chiara, Maria Luisa (ed.) et al., Logic and scientific methods. Volume one of the proceedings of the tenth international congress of logic, methodology and philosophy of science, Florence, Italy, August 19–25, 1995. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 259, 179-207 (1997).
MSC:  03B70 68Q60 68Q55
PDF BibTeX XML Cite
Berichte aus der Informatik. Aachen: Shaker Verlag. vii, 217 S. (Univ. München, 1995) (1996).
PDF BibTeX XML Cite
Maluszyński, Jan (ed.) et al., Programming language implementation and logic programming. 3rd international symposium, PLILP ’91, Passau, Germany, August 26-28, 1991. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 528, 383-393 (1991).
MSC:  68N17 68Q55
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