BibSonomy :: author  :: Maibaum ::

bookmarks

publications

(9)

• Book reviews
  K. Henschke and W. Schmidt and P. H. M{\"U}ller and H. Bandemer and H. P. H{\"O}schel and V. Dupa\č and G. Maibaum and A. Pr{\'E}kopa Statistics 10 613--622 (1979)
  to imported by smicha on 2008-04-23 13:57:40
  | URL | BibTeX  
• Modal and Temporal Logics
  C. Stirling 478--563 (1992)
  to imported by bsmyth on 2007-11-02 23:09:02
  | BibTeX  
• Model Theory and Computer Science: An Appetizer
  J.A. Makowsky 763--814 (1992)
  to imported by bsmyth on 2007-11-02 23:09:02
  | BibTeX  
• Elements of Algorithmic Proof
  D. Gabbay 311--413 (1992)
  to imported by bsmyth on 2007-11-02 23:09:02
  | BibTeX  
• Handbook of Logic in Computer Science IV --- Semantic Modelling
  S. Abramsky and D. Gabbay and T.S.E. Maibaum (eds.). (1995)
  to imported by bsmyth on 2007-11-02 23:09:02
  | BibTeX  
• Handbook of Logic in Computer Science III --- Semantic Structures
  S. Abramsky and D. Gabbay and T.S.E. Maibaum (eds.). (1994)
  to imported by bsmyth on 2007-11-02 23:09:02
  | BibTeX  
• Handbook of Logic in Computer Science II --- Background: Computational Structures
  S. Abramsky and D. Gabbay and T.S.E. Maibaum (eds.). (1992)
  to imported by bsmyth on 2007-11-02 23:09:02
  | BibTeX  
• Handbook of Logic in Computer Science I --- Background: Mathematical Structures
  S. Abramsky and D. Gabbay and T.S.E. Maibaum (eds.). (1992)
  to imported by bsmyth on 2007-11-02 23:09:02
  | BibTeX  
• Cluster based integration of heterogeneous biological databases using the automed toolkit
  Michael Maibaum and Lucas Zamboulis and Galia Rimon and Christine Orengo and Nigel Marting and Alexandra Poulovassilis Proc. of the 2nd International Workshop on Data Integration in the Life Sciences (DILS) (2005)
  to imported by tkirsten on 2007-10-23 13:35:30
  | BibTeX