×

zbMATH — the first resource for mathematics

Found 113 Documents (Results 1–100)

100
MathJax
Freivalds, Rūsiņš Mārtiņš (ed.) et al., SOFSEM 2016: theory and practice of computer science. 42nd international conference on current trends in theory and practice of computer science, Harrachov, Czech Republic, January 23–28, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9587, 277-289 (2016).
MSC:  91A43 05C57 91A05
PDF BibTeX XML Cite
Full Text: DOI Link
Hlinený, Petr (ed.) et al., Annual doctoral workshop on mathematical and engineering methods in computer science (MEMICS’09). Selected papers based on the presentations at the workshop, November 13-15, 2009, Znojmo, Czech Republic. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-15-6). OASIcs – OpenAccess Series in Informatics 13, 10-17, electronic only (2009).
MSC:  68Q85 03B70
PDF BibTeX XML Cite
Full Text: DOI
Aldini, Alessandro (ed.) et al., Proceedings of the fifth workshop on quantitative aspects of programming languages (QAPL 2007), Braga, Portugal, March 24–25, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 190, No. 3, 95-110 (2007).
PDF BibTeX XML Cite
Full Text: DOI
DISKI. Dissertationen zur Künstlichen Intelligenz 280. Berlin: Akademische Verlagsgesellschaft Aka; Karlsruhe: Univ. Karlsruhe (Diss. 2003) (ISBN 3-89838-280-X/pbk). xv, 180 p. (2004).
MSC:  68Q60 68-02
PDF BibTeX XML Cite
Full Text: Link
Kijania-Placek, Katarzyna (ed.) et al., The Lvov-Warsaw school and contemporary philosophy. Papers from the conference, Lviv (Lvov), Ukraine, November 15-17, 1995 and Warsaw, Poland, November 19-21, 1995. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 273, 283-300 (1998).
MSC:  03B42 68T30
PDF BibTeX XML Cite
Bacharach, M. O. L. (ed.) et al., Epistemic logic and the theory of games and decisions. Based on the conference, Marseille, France, January 1994. Dordrecht: Kluwer Academic Publishers. Theory Decis. Libr., Ser. C. 20, 3-34 (1997).
MSC:  03B42 68T30 68T27
PDF BibTeX XML Cite
Schroeder-Heister, Peter (ed.) et al., Substructural logics. Seminar for natural-language processing systems of the University of Tübingen, Germany, on 7-8 October 1990. Oxford: Clarendon Press. Stud. Log. Comput. 2, 259-291 (1994).
MSC:  03B47 03G25
PDF BibTeX XML Cite
Prawitz, D. (ed.) et al., Logic, methodology and philosophy of science IX. Proceedings of the ninth international congress of logic, methodology and philosophy of science, Uppsala, Sweden, August 7-14, 1991. Amsterdam: North-Holland. Stud. Logic Found. Math. 134, 239-262 (1994).
PDF BibTeX XML Cite
Proceedings of the IX Latin American symposium on mathematical logic, Bahía Blanca, Argentina, August 3-8, 1992. Part 1. Bahía Blanca: Universidad Nacional del Sur, Notas Logica Mat. 38, 129-141 (1993).
MSC:  03C90
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, 19-65 (1993).
MSC:  03B45 03B65 68T50
PDF BibTeX XML Cite
Correct hardware design methodologies, Proc. Adv. Res. Workshop, Turin/Italy 1991, 441-453 (1992).
MSC:  94C12 68Q85
PDF BibTeX XML Cite
Logic from computer science, Proc. Workshop, Berkeley/CA (USA) 1989, Publ., Math. Sci. Res. Inst. 21, 387-403 (1992).
Reviewer: S.Brass
MSC:  03B60 68T50 03B65
PDF BibTeX XML Cite
Institut Kibernetiki AN GSSR, Tbilisi (USSR). Tbilisi: Metsniereba. 112 p. R. 1.10 (1987).
Reviewer: V.Meskhi (Tbilisi)
PDF BibTeX XML Cite

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