×

zbMATH — the first resource for mathematics

Found 77 Documents (Results 1–77)

100
MathJax
Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 435-453 (2018).
MSC:  03F07 03D05
PDF BibTeX XML Cite
Full Text: DOI
Ambos-Spies, Klaus (ed.) et al., Mathematical theory and computational practice. 5th conference on computability in Europe, CiE 2009, Heidelberg, Germany, July 19–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03072-7/pbk). Lecture Notes in Computer Science 5635, 379-388 (2009).
MSC:  03B48
PDF BibTeX XML Cite
Full Text: DOI
Mellouli, Khaled (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 9th European conference, ECSQARU 2007, Hammamet, Tunisia, October 31–November 2, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75255-4/pbk). Lecture Notes in Computer Science 4724. Lecture Notes in Artificial Intelligence, 151-160 (2007).
MSC:  03B48 68T37
PDF BibTeX XML Cite
Full Text: DOI
Adriaans, Pieter (ed.) et al., Grammatical inference: Algorithms and applications. 6th international colloquium, ICGI 2002, Amsterdam, the Netherlands, September 23-25, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2484, 174-184 (2002).
MSC:  68T05 68Q42 68T50
PDF BibTeX XML Cite
Full Text: Link
Seda, Anthony (ed.) et al., MFCSIT2000. Proceedings of the first Irish conference on the mathematical foundations of computer science and information technology, National University of Ireland, Cork, Ireland, July 20–21, 2000. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 40, 52-69 (2001).
MSC:  68Q60 68N17
PDF BibTeX XML Cite
Full Text: DOI
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
Tošić, Ratko (ed.) et al., Proceedings of the VIII international conference on logic and computer science: theoretical foundations of computer science, Lira ’97, Novi Sad, Yugoslavia, September 1-4, 1997. Novi Sad: Univ. of Novi Sad, Faculty of Science, Institute of Mathematics, 177-181 (1997).
MSC:  03B48 03B44
PDF BibTeX XML Cite
Frontiers in Artificial Intelligence and Applications. 35. Amsterdam: IOS Press. x, 341 p. (1996).
MSC:  68T01 68-06 00B25
PDF BibTeX XML Cite
Ristad, Eric Sven (ed.), Language computation. DIMACS workshop on human language, March 20-22, 1992, at Princeton Univ., Princeton, NJ, USA. Providence, RI: American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 17, 127-148 (1994).
PDF BibTeX XML Cite
Börger, Egon (ed.) et al., Computer science logic. 6th workshop, CSL ’92, San Miniato, Italy, September 28 - October 2, 1992. Selected papers. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 702, 231-247 (1993).
Reviewer: E.Grädel (Aachen)
PDF BibTeX XML Cite
Brewka, Gerhard (ed.) et al., Nonmonotonic and inductive logic. 2nd international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 659, 254-269 (1993).
Reviewer: N.Curteanu (Iaşi)
MSC:  68T05 68T27
PDF BibTeX XML Cite
Computational learning theory, Proc. 2nd Annu. Workshop, Santa Cruz, CA/USA 1989, 328-333 (1989).
MSC:  68T05 68Q45
PDF BibTeX XML Cite
Computational learning theory, Proc. 2nd Annu. Workshop, Santa Cruz, CA/USA 1989, 312-327 (1989).
MSC:  68T05 68Q45 68T15
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