Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings [electronic resource] / edited by Bernhard Beckert.

By:

TABLEAUX 2005 (2005 : Koblenz, Germany)

Contributor(s):

Series: Lecture Notes in Computer Science ; 3702Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005.Description: 1online resource (xiii, 342 p.) : ill., digital ; 24 cmISBN:

9783540318224 (electronic bk.)
9783540289319 (paper)

Other title:

TABLEAUX 2005

Subject(s):

DDC classification:

006.3 22

Online resources:

Click here to access online

In: Springer e-books

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 0 )
Comments ( 0 )

No physical items for this record

There are no comments on this title.

to post a comment.

Back to results

1
2 Antibacterial and antibiofilm effects of virgin coconut oil and virgin olive oil on streptococcus sobrinus and lactobacillus casei /
by Nur Hafizah Hazmi,
3 The effects of kaffir lime leaves on streptococcus mutans /
by Farah Syazwani Mohamd Tarmizi,
4 Ekstrak batang melastoma malabathricum merencat aktiviti perlekatan, pembentukan biolapisan dan pertumbuhan streptococcus mutans /
by Rohazila Mohamad Hanafiah,
5 The identification of group B Streptococcus and its rate of isolation from high vaginal swabs /
by Zooraidah Bt. Zainal
6 In vitro studies on the fate of group E streptococcus in swine /
by Cargill, Colin Frank,
7 Infeksi streptokokus grup A dan akibatnya /
by Farida Jamal.
8 Laboratory diagnosis of group A streptococcal infections
9 Molecular epidemiology of penicillin-resistant streptococcus pneumoniae in Malaysia /
by Aniz Suriani Mohd Ali
10 Molecular microbiology and immunobiology of streptococcus mutans :
by International Conference on "Cellular, Molecular and Clinical Aspects of Streptococcus Mutans"
11 Pathogenic streptococci:
by International Symposium on Streptococci and Streptococcal Diseases (7th : 1978 : Oxford)
12 Pencirian streptokokus kumpulan A rheumatogenik /
by Noor Azleen binti Ab Aziz
13 Physiological differentiation of viridans streptococci /
by Zaidatul Azmi Abdul Rahman,
14 Physiological differentiation of viridans streptococci
by Zaidatul Azmi Abdul Rahman
15 The Pneumococcus and the pneumococcal vaccine /
16 Postinfectious glomerulonephritis /
by Tang, Swee Fong
17 Prevalens streptokokus grup B pada spesimen "high vaginal swab" /
by Muhamad Nazrul Hisham Zulkfully
18 Recent developments in laboratory identification techniques
19 Streptococcal disease and the community
20 Streptococcal disease and the community

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings [electronic resource] / edited by Bernhard Beckert.

Contact Us

Copyright ©The National University of Malaysia Library