×

zbMATH — the first resource for mathematics

Found 98 Documents (Results 1–98)

100
MathJax
Frontiers in Artificial Intelligence and Applications 81. Amsterdam: IOS Press; Tokyo: Ohmsha (ISBN 1-58603-278-X/hbk; 4-274-90571-3/hbk). xviii, 307 p. (2003).
PDF BibTeX XML Cite
Gabbay, Dov M. (ed.) et al., Frontiers of combining systems 2. Selected papers from the 2nd international workshop (FroCoS’98), Amsterdam, Netherlands, October 2-4, 1998. Baldock: Research Studies Press. Stud. Log. Comput. 7, 121-139 (2000).
MSC:  03B42 68T30 68T27
PDF BibTeX XML Cite
Faller, Martina (ed.) et al., Formalizing the dynamics of information. Stanford, CA: CSLI, Center for the Study of Language and Information. CSLI Lect. Notes. 91, 27-50 (2000).
MSC:  03B42 68T30
PDF BibTeX XML Cite
Haeberer, Armando Martín (ed.), Algebraic methodology and software technology. 7th international conference, AMAST ’98, Amazonia, Brazil, January 4-8, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1548, 140-153 (1999).
PDF BibTeX XML Cite
Reisig, Wolfgang (ed.) et al., Lectures on Petri nets. 1: Basic models. Advances in Petri nets. Berlin: Springer. Lect. Notes Comput. Sci. 1491, 643-681 (1998).
PDF BibTeX XML Cite
Kracht, Marcus (ed.) et al., Advances in modal logic. Vol. 1. Selected papers of the 1st AiML conference, Free University of Berlin, Germany, October 1996. Stanford, CA: Center for the Study of Language and Information (CSLI). CSLI Lect. Notes. 87, 173-187 (1998).
PDF BibTeX XML Cite
Kracht, Marcus (ed.) et al., Advances in modal logic. Vol. 1. Selected papers of the 1st AiML conference, Free University of Berlin, Germany, October 1996. Stanford, CA: Center for the Study of Language and Information (CSLI). CSLI Lect. Notes. 87, 99-113 (1998).
MSC:  03B45
PDF BibTeX XML Cite
Oxford: Clarendon Press. xvi, 611 p. (1995).
PDF BibTeX XML Cite
Logic from computer science, Proc. Workshop, Berkeley/CA (USA) 1989, Publ., Math. Sci. Res. Inst. 21, 481-497 (1992).
MSC:  03B60 03B80 68T30
PDF BibTeX XML Cite
Informatik-Dissertationen ETH Zürich. 26. Zürich: Verl. d. Fachvereine an d. Schweiz. Hochschulen u. Techniken. Zürich: ETH, Informatik, IX, 117 p. (1991).
MSC:  68P15 68-02
PDF BibTeX XML Cite
Lecture Notes in Computer Science, 346; Lecture Notes in Artificial Intelligence. Berlin etc.: Springer-Verlag. XIV, 237 p.; DM 40.50 (1989).
Reviewer: J.Šefránek
PDF BibTeX XML Cite
Lecture Notes in Computer Science, 398. Berlin etc.: Springer-Verlag. VI, 448 p. DM 63.00 (1989).
PDF BibTeX XML Cite

Filter Results by …

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