BibSonomy publications for /author/Maibaum/imported http://www.bibsonomy.org/author/Maibaum/imported BibSonomy RSS Feed for /author/Maibaum/imported Book reviews http://www.bibsonomy.org/bibtex/20ea3f58f7b38d01e6f735d3876e4665a/smicha smicha 2008-04-23T13:57:40+02:00 imported
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
]]> Modal and Temporal Logics all-bibs-cleaned.bib http://www.bibsonomy.org/bibtex/266198dccdaa58ce2f9c9ca11a078cc15/bsmyth bsmyth 2007-11-02T23:09:02+01:00 imported
Modal and Temporal Logics
C. Stirling 478--563 (1992)
to imported by bsmyth on 2007-11-02 23:09:02
]]> Model Theory and Computer Science: An Appetizer all-bibs-cleaned.bib http://www.bibsonomy.org/bibtex/2a7e10134c69a0b5fff7f564b8f493021/bsmyth bsmyth 2007-11-02T23:09:02+01:00 imported
Model Theory and Computer Science: An Appetizer
J.A. Makowsky 763--814 (1992)
to imported by bsmyth on 2007-11-02 23:09:02
]]> Elements of Algorithmic Proof all-bibs-cleaned.bib http://www.bibsonomy.org/bibtex/233e504cd624554f845d9e47a37d34aab/bsmyth bsmyth 2007-11-02T23:09:02+01:00 imported
Elements of Algorithmic Proof
D. Gabbay 311--413 (1992)
to imported by bsmyth on 2007-11-02 23:09:02
]]> Handbook of Logic in Computer Science IV --- Semantic Modelling all-bibs-cleaned.bib http://www.bibsonomy.org/bibtex/2cf5473c2205d1b2c4285d0df63c3e53c/bsmyth bsmyth 2007-11-02T23:09:02+01:00 imported
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
]]> Handbook of Logic in Computer Science III --- Semantic Structures all-bibs-cleaned.bib http://www.bibsonomy.org/bibtex/23441ab1046db2ecf93ee944d0858db2e/bsmyth bsmyth 2007-11-02T23:09:02+01:00 imported
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
]]> Handbook of Logic in Computer Science II --- Background: Computational Structures all-bibs-cleaned.bib http://www.bibsonomy.org/bibtex/2e710f8a1c1b9c755a72c798415b027dd/bsmyth bsmyth 2007-11-02T23:09:02+01:00 imported
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
]]> Handbook of Logic in Computer Science I --- Background: Mathematical Structures all-bibs-cleaned.bib http://www.bibsonomy.org/bibtex/2372ffc02e5dc216ebcf3a77b671e73d8/bsmyth bsmyth 2007-11-02T23:09:02+01:00 imported
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
]]> Cluster based integration of heterogeneous biological databases using the automed toolkit http://www.bibsonomy.org/bibtex/2dbec663bd746014c48f982b60cd263d5/tkirsten tkirsten 2007-10-23T13:35:30+02:00 imported
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
]]>