×

zbMATH — the first resource for mathematics

Found 219 Documents (Results 1–100)

100
MathJax
Borgida, Alexander T. (ed.) et al., Conceptual modeling: Foundations and applications. Essays in honor of John Mylopoulos. Berlin: Springer (ISBN 978-3-642-02462-7/pbk). Lecture Notes in Computer Science 5600, 82-98 (2009).
Reviewer: Reviewer (Berlin)
MSC:  68T30
PDF BibTeX XML Cite
Full Text: DOI
Peters, James F. (ed.) et al., Transactions on Rough Sets IX. Berlin: Springer (ISBN 978-3-540-89875-7/pbk). Lecture Notes in Computer Science 5390. Journal Subline, 135-144 (2008).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Full Text: DOI
Electronic Notes in Theoretical Computer Science 56. Amsterdam: Elsevier; Lyngby: TU Denmark, Department of Information Technology (Diss. 2000). iv, 190 p., electronic only (2001).
Reviewer: Reviewer (Berlin)
MSC:  68-02 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Galmiche, Didier (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ’97, Pont-à-Mousson, France, May 13–16, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1227, 138-152 (1997).
Reviewer: Reviewer (Berlin)
MSC:  03B45 03B25 03B35
PDF BibTeX XML Cite
Full Text: DOI
Alferes, José Júlio (ed.) et al., Logics in artificial intelligence. European workshop, JELIA ’96, Évora, Portugal, September 30 – October 3, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1126, 70-86 (1996).
Reviewer: Reviewer (Berlin)
MSC:  03B45 68T27
PDF BibTeX XML Cite
Full Text: DOI
Gabbay, Dov M. (ed.) et al., Practical reasoning. International conference on formal and applied practical reasoning, FAPR ’96, Bonn, Germany, June 3–7, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1085, 141-150 (1996).
MSC:  68T27 03B45 03B60
PDF BibTeX XML Cite
Full Text: DOI
McRobbie, M. A. (ed.) et al., Automated deduction – CADE-13. 13th international conference on automated deduction, New Brunswick, NJ, USA, July/August 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1104, 598-612 (1996).
Reviewer: Reviewer (Berlin)
MSC:  03B35 03B44 03B45 68T15
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, 177-192 (1996).
Reviewer: Reviewer (Berlin)
MSC:  03B35 03B45
PDF BibTeX XML Cite
Full Text: DOI
Fülöp, Zoltán (ed.) et al., Automata, languages and programming. 22nd international colloquium, ICALP ’95, Szeged, Hungary, July 10–14, 1995. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 944, 535-546 (1995).
MSC:  68Q60 68Q85
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
Biographic Reference
all top 3
Software