Section of Logic, IMI/BAS -
Links
Department of Mathematical Logic and Its Applications, Sofia University
Linguistic Modelling Department, Bulgarian Academy of Sciences
CoLogNET
Institute of Logic, Language and Computation, University of Amsterdam
Institute of Software Technology of the United Nations University (UNU/IIST)
School of Computer Science, University of Birmingham
Mathematical Logic around the world
The ACM Digital Library
IEEE Xplore Journals and Magazines
JSTOR The Scholarly Journal Archive
Computer Society Bibliography, Trier University
The NECI Scientific Literature Digital Library
Virtual Library of Formal Methods
Concurrency Mailing List
Logic Journal of the IGPL
Elsevier Electronic Notes on Theoretical Computer Science (ENTCS)
Strawberry Prolog
Last updated:
February, 2004
Home
|
Institute of Mathematics and Informatics
|
BAS