×

zbMATH — the first resource for mathematics

Found 47 Documents (Results 1–47)

100
MathJax
Baader, Franz (ed.), Automated deduction – CADE-19. 19th international conference on automated deduction, Miami Beach, FL, USA, July 28 – August 2, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40559-3/pbk). Lect. Notes Comput. Sci. 2741, 442-457 (2003).
MSC:  68T15 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Rovan, Branislav (ed.) et al., Mathematical foundations of computer science 2003. 28th international symposium, MFCS 2003, Bratislava, Slovakia, August 25–29, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40671-9/pbk). Lect. Notes Comput. Sci. 2747, 169-178 (2003).
MSC:  68Q25 03B25 03B35
PDF BibTeX XML Cite
Full Text: DOI
Păun, Gheorghe (ed.) et al., Current trends in theoretical computer science. Entering the 21st century. Based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS), 1992–2000. Singapore: World Scientific (ISBN 981-02-4473-8). 303-326 (2001).
MSC:  68T15 03B35
PDF BibTeX XML Cite
Robinson, Alan (ed.) et al., Handbook of automated reasoning. In 2 vols. Amsterdam: North-Holland/ Elsevier; 0-444-50812-0 (vol. 2); 0-444-50813-9 (set)). 611-706 (2001).
Reviewer: N.Zamov (Kazan)
MSC:  03B35 68T15 03-02 68-02
PDF BibTeX XML Cite
Bibel, Wolfgang (ed.) et al., Automated deduction. A basis for applications. Vol. 1: Foundations, calculi and methods. Dordrecht: Kluwer Academic Publishers; 0-7923-5132-0 (set)). Appl. Log. Ser. 8, 265-289 (1998).
MSC:  68T15
PDF BibTeX XML Cite
Palamidessi, Catuscia (ed.) et al., Principles of declarative programming. 10th international symposium, PLILP ’98. Held jointly with the 6th international conference, ALP ’98, Pisa, Italy, September 16–18, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1490, 266-281 (1998).
MSC:  68Q42
PDF BibTeX XML Cite
Nipkow, Tobias (ed.), Rewriting techniques and applications. 9th international conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1379, 181-195 (1998).
PDF BibTeX XML Cite
Nipkow, Tobias (ed.), Rewriting techniques and applications. 9th international conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1379, 121-135 (1998).
MSC:  03B35 68Q42
PDF BibTeX XML Cite
Hanus, Michael (ed.) et al., Algebraic and logic programming. 6th international joint conference, ALP ’97 - HOA ’97, Southampton, GB, September 3–5, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1298, 61-75 (1997).
Reviewer: N.Zamov (Kazan’)
MSC:  03B40 68Q42
PDF BibTeX XML Cite

Filter Results by …

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