Anmelden/Registrieren
Erscheinungsjahr:
 
Zurück zur geteilten Ansicht
Ross Overbeek

Veröffentlichungen von Ross Overbeek zu Overbeek, Ross ->
weitere Veröffentlichungen von Ross Overbeek:
Book review (1988)
The CADE-11 competitions: A personal view (1993)
Non-horn problems (1985)
A foray into combinatory logic (1986)
Derivation of efficient parallel programs: An example from genetic sequence analysis (1989)
Exploitation of parallel processing for implementing high-performance deduction systems (1992)
Formula databases for high-performance resolution/paramodulation systems (1994)
Universal Protein Families and the Functional Content of the Last Universal Common Ancestor (1999)
Set theory in first-order logic: Clauses for Gödel's axioms (1986)
The complete genome of the hyperthermophilic bacterium Aquifex aeolicus (1998)
Genome sequence of Bacillus cereus and comparative analysis with Bacillus anthracis (2003)
Complete sequence and comparative genome analysis of the dairy bacterium Streptococcus thermophilus (2004)
The complete genome sequence of the hyperthermophilic, sulphate-reducing archaeon Archaeoglobus fulgidus (1997)
Corrections: The complete genome sequence of the hyperthermophilic, sulphate-reducing archaeon Archaeoglobus fulgidus (1998)
Insights into social insects from the genome of the honeybee Apis mellifera (2006)
Veröffentlichungen zu Overbeek, Ross
Zurück zur geteilten Ansicht
Verfasser Titel Jahr absteigend sortierenaufsteigend sortieren
zeige Details
1
Overbeek, Ross Book review
in: Journal of automated reasoning , ISSN 1573-0670, Vol. 4 (2. 1988), p. 233-234
Zugang: zum Volltext
ähnliche Vorschläge
1988
zeige Details
2
Overbeek, Ross The CADE-11 competitions: A personal view
in: Journal of automated reasoning , ISSN 1573-0670, Vol. 11 (3. 1993), p. 315-316
Zugang: zum Volltext
ähnliche Vorschläge
1993
zeige Details
3
Lusk, Ewing, Overbeek, Ross Non-horn problems
in: Journal of automated reasoning , ISSN 1573-0670, Vol. 1 (1. 1985), p. 103-114
Zugang: zum Volltext
ähnliche Vorschläge
1985
zeige Details
4
Glickfeld, Barney, Overbeek, Ross A foray into combinatory logic
in: Journal of automated reasoning , ISSN 1573-0670, Vol. 2 (4. 1986), p. 419-431
Zugang: zum Volltext
ähnliche Vorschläge
1986
zeige Details
5
Singh, Ambuj K., Overbeek, Ross Derivation of efficient parallel programs: An example from genetic sequence analysis
in: International journal of parallel programming , ISSN 1573-7640, Vol. 18 (6. 1989), p. 447-484
Zugang: zum Volltext
ähnliche Vorschläge
1989
zeige Details
6
Jindal, Anita, Overbeek, Ross, ... Exploitation of parallel processing for implementing high-performance deduction systems
in: Journal of automated reasoning , ISSN 1573-0670, Vol. 8 (1. 1992), p. 23-38
Zugang: zum Volltext
ähnliche Vorschläge
1992
zeige Details
7
Butler, Ralph M., Overbeek, Ross A. Formula databases for high-performance resolution/paramodulation systems
in: Journal of automated reasoning , ISSN 1573-0670, Vol. 12 (2. 1994), p. 139-156
Zugang: zum Volltext
ähnliche Vorschläge
1994
zeige Details
8
Kyrpides, Nikos, Overbeek, Ross, ... Universal Protein Families and the Functional Content of the Last Universal Common Ancestor
in: Journal of molecular evolution , ISSN 1432-1432, Vol. 49 (4. 1999), p. 413-423
Zugang: zum Volltext
ähnliche Vorschläge
1999
zeige Details
9
Boyer, Robert, Lusk, Ewing, ... Set theory in first-order logic: Clauses for Gödel's axioms
in: Journal of automated reasoning , ISSN 1573-0670, Vol. 2 (3. 1986), p. 287-327
Zugang: zum Volltext
ähnliche Vorschläge
1986
zeige Details
10
Deckert, Gerard, Warren, Patrick V., ... The complete genome of the hyperthermophilic bacterium Aquifex aeolicus
in: Nature . - London [u.a.] : Nature Publising Group, ISSN 1476-4687, Vol. 392, No. 6674 (1998), p. 353-358
Zugang: zum Volltext
ähnliche Vorschläge
1998
zeige Details
11
Ivanova, Natalia, Sorokin, Alexei, ... Genome sequence of Bacillus cereus and comparative analysis with Bacillus anthracis
in: Nature . - London [u.a.] : Nature Publising Group, ISSN 1476-4687, Vol. 423, No. 6935 (2003), p. 87-91
Zugang: zum Volltext
ähnliche Vorschläge
2003
zeige Details
12
Bolotin, Alexander, Quinquis, Benoît, ... Complete sequence and comparative genome analysis of the dairy bacterium Streptococcus thermophilus
in: Nature biotechnology . - New York, NY : Nature America, ISSN 1546-1696, Vol. 22, No. 12 (2004), p. 1554-1558
Zugang: zum Volltext
ähnliche Vorschläge
2004
zeige Details
13
Klenk, Hans-Peter, Clayton, Rebecca A., ... The complete genome sequence of the hyperthermophilic, sulphate-reducing archaeon Archaeoglobus fulgidus
in: Nature . - London [u.a.] : Nature Publising Group, ISSN 1476-4687, Vol. 390, No. 6658 (1997), p. 364-370
Zugang: zum Volltext
ähnliche Vorschläge
1997
zeige Details
14
Klenk, Hans-Peter, Clayton, Rebecca A., ... Corrections: The complete genome sequence of the hyperthermophilic, sulphate-reducing archaeon Archaeoglobus fulgidus
in: Nature . - London [u.a.] : Nature Publising Group, ISSN 1476-4687, Vol. 394, No. 6688 (1998), p. 101-101
Zugang: zum Volltext
ähnliche Vorschläge
1998
zeige Details
15
The Honeybee Genome Sequencing Consortium, Weinstock, George M., ... Insights into social insects from the genome of the honeybee Apis mellifera
in: Nature . - London [u.a.] : Nature Publising Group, ISSN 1476-4687, Vol. 443, No. 7114 (2006), p. 931-949
Zugang: zum Volltext
ähnliche Vorschläge
2006