×

zbMATH — the first resource for mathematics

Found 108 Documents (Results 1–100)

100
MathJax
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 886-899 (2020).
MSC:  68
PDF BibTeX XML Cite
Full Text: DOI
Kiselyov, Oleg (ed.) et al., Functional and logic programming. 13th international symposium, FLOPS 2016, Kochi, Japan, March 4–6, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-29603-6/pbk; 978-3-319-29604-3/ebook). Lecture Notes in Computer Science 9613, 126-143 (2016).
MSC:  68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI
Baier, Christel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 21st international conference, TACAS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9035, 149-163 (2015).
MSC:  68N30 03B70
PDF BibTeX XML Cite
Full Text: DOI
Ehrhard, Thomas (ed.) et al., Linear logic in computer science. Based on the Azores summer school on linear logic and computer science, St. Miguel, Azores, Portugal, August 30–September 7, 2000. Cambridge: Cambridge University Press (ISBN 0-521-60857-0/pbk). London Mathematical Society Lecture Note Series 316, 119-150 (2004).
PDF BibTeX XML Cite
Garijo, Francisco J. (ed.) et al., Advances in artificial intelligence – IBERAMIA 2002. 8th Ibero-American conference on AI, Seville, Spain, November 12–15, 2002. Proceedings. Berlin: Springer (ISBN 3-540-00131-X/pbk). Lect. Notes Comput. Sci. 2527, 151-160 (2002).
MSC:  68N17 68T15 68N15
PDF BibTeX XML Cite
Full Text: Link
Dutra, Inês (ed.) et al., Parallelism and implementation technology for (constraint) logic programming. Workshop in conjunction with ICLP ’99, Las Cruces, NM, USA, December 1, 1999. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 30,3, 18 p., electronic only (1999).
MSC:  68N17
PDF BibTeX XML Cite
Full Text: Link
Caicedo, Xavier (ed.) et al., Models, algebras, and proofs. Selected papers of the X Latin American symposium on mathematical logic, Bogotá, Colombia, June 24–29, 1995. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 203, 337-371 (1999).
MSC:  03B35 68Q60 03B70
PDF BibTeX XML Cite
Berardi, Stefano (ed.) et al., Types for proofs and programs. International workshop TYPES ’95, Torino, Italy, June 5–8, 1995. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1158, 265-287 (1996).
PDF BibTeX XML Cite
Full Text: DOI
Dowek, Gilles (ed.) et al., Higher-order algebra, logic, and term rewriting. Second international workshop, HOA ’95, Paderborn, Germany, September 21–22, 1995. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1074, 90-108 (1996).
MSC:  03B70 03B16 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Migliolo, P. (ed.) et al., Theorem proving with analytic tableaux and related methods. 5th international workshop, TABLEAUX ’96, Terrasini, Palermo, Italy, May 15–17, 1996. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 1071, 193-209 (1996).
MSC:  68T15 68T27
PDF BibTeX XML Cite
Full Text: DOI
Pfalzgraf, Jochen (ed.) et al., Automated practical reasoning. Algebraic approaches. With a foreword by Jim Cunningham. Wien: Springer-Verlag. Texts and Monographs in Symbolic Computation. 203-220 (1995).
MSC:  68T27 03B60
PDF BibTeX XML Cite
Gottlob, Georg (ed.) et al., Computational logic and proof theory. 3rd Kurt Gödel Colloquium, KGC ’93, Brno, Czech Republic, August 24-27, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 713, 63-68 (1993).
MSC:  68N17 68P15 03B25
PDF BibTeX XML Cite
Logic from computer science, Proc. Workshop, Berkeley/CA (USA) 1989, Publ., Math. Sci. Res. Inst. 21, 521-583 (1992).
Reviewer: Li Xiang (Guiyang)
MSC:  03B70 68N17
PDF BibTeX XML Cite
Künstliche Intelligenz. Braunschweig: Vieweg. 159 p. DM 49.00 (1991).
MSC:  68N17 68-02 68T99
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