registrieren | anmelden | FAQ      [?] 

Autor Kerber [20 articles]

Neu eingetragene Papers vom Autor: Kerber.
  • Using Models to Guide Human-Oriented Proof Search
    by Seungyeob Choi, Manfred Kerber
    posted to planning proof by gabgas to the group Theorem Proving on 2007-12-20 19:54:19 as read
  • Automatic Learning of Proof Methods in Proof Planning
    Logic Jnl IGPL, Vol. 11, No. 6. (1 November 2003), pp. 647-673.
    by Mateja Jamnik, Manfred Kerber, Martin Pollet, Christoph Benzmuller
    posted to planning proof by gabgas on 2007-12-20 19:49:10 as **
  • Europa ohne Frankreich? Deutsche Anmerkungen zur französischen Frage
    (01 January 1999)
    by Markus C Kerber
    posted to no-tag by markup on 2007-12-03 22:51:50 as **
  • The Republican Mother: Women and the Enlightenment-An American Perspective
    American Quarterly, Vol. 28, No. 2. (1976), pp. 187-205.
    by Linda Kerber
    posted to enlightenment history republicanism us women by eromsted on 2007-10-26 14:29:47 as ***
  • Policy learning in Europe: the open method of co-ordination and laboratory federalism
    Journal of European Public Policy, Vol. 14, No. 2. (2007), pp. 227-247.
    by Wolfgang Kerber, Martina Eckardt
    posted to governance omc policy by tapiocante on 2007-10-25 13:29:37 as **
  • Tropical fans and the moduli spaces of tropical curves
    (16 Aug 2007)
    by Andreas Gathmann, Michael Kerber, Hannah Markwig
    posted to tropical by ansobol on 2007-08-21 10:08:41 as **
  • A Riemann-Roch theorem in tropical geometry
    (5 Dec 2006)
    by Andreas Gathmann, Michael Kerber
    posted to algebraic_geometry tropical_geometry by yakovenko on 2007-07-12 08:26:34 as ** along with 1 person ansobol
  • ErbB4 increases the proliferation potential of human lung cancer cells and its blockage can be used as a target for anti-cancer therapy.
    Int J Cancer, Vol. 119, No. 2. (15 July 2006), pp. 269-274.
    by A Starr, J Greif, A Vexler, M Ashkenazy-Voghera, V Gladesh, C Rubin, G Kerber, S Marmor, S Lev-Ari, M Inbar, Y Yarden, R Ben-Yosef
    posted to erbb4 inhibitor by pjasper on 2007-04-25 18:49:21 as **
  • Stock selection using rule induction
    Ieee Expert-Intelligent Systems & Their Applications, Vol. 11 (1996), pp. 52-58.
    by GH John, P Miller, R Kerber
    posted to investing by scis0000001 on 2007-04-04 00:50:28 as **
  • Association between telomere length in blood and mortality in people aged 60 years or older.
    Lancet, Vol. 361, No. 9355. (1 February 2003), pp. 393-395.
    by RM Cawthon, KR Smith, E O'Brien, A Sivatchenko, RA Kerber
    posted to telomeri 10-01 by bpagano on 2007-01-10 15:26:36 as **
  • Effect of ischemia, hypertrophy, hypoxia, acidosis, and alkalosis on canine defibrillation.
    Am J Physiol, Vol. 244, No. 6. (June 1983)
    by RE Kerber, NG Pandian, R Hoyt, SR Jensen, S Koyanagi, J Grayzel, R Kieso
    posted to ri2d by brocktice on 2006-10-31 00:11:11 as * along with 1 group TulaneCEP
  • Factors influencing the success of ventricular defibrillation in man.
    Circulation, Vol. 60, No. 2. (August 1979), pp. 226-230.
    by RE Kerber, W Sarnat
    posted to ri2d by brocktice on 2006-10-31 00:10:18 as ** along with 1 group TulaneCEP
  • Counting tropical elliptic plane curves with fixed j-invariant
    (18 Aug 2006)
    by Michael Kerber, Hannah Markwig
    posted to mikhalkin tropical by ansobol on 2006-08-21 07:24:59 as **
  • How to Prove Higher Order Theorems in First Order Logic
    (1991)
    by M Kerber
    posted to first-order-logic higher-order-logic by greenrd on 2006-06-08 19:18:23 as read along with 1 group SRG_at_UCD
  • notes Three dimensional geometry of acutely ischemic myocardium.
    Circulation, Vol. 52, No. 2. (August 1975), pp. 254-263.
    by ML Marcus, RE Kerber, J Ehrhardt, FM Abboud
    posted to ri2d by brocktice on 2006-06-07 16:32:52 as read along with 1 group TulaneCEP
  • Ecological collapse of Lake Baikal and Lake Hovsgol ecosystems during the Last Glacial and consequences for aquatic species diversity
    Palaeogeography, Palaeoclimatology, Palaeoecology, Vol. 209, No. 1-4. (6 July 2004), pp. 227-243.
    by Eugene Karabanov, Douglas Williams, Mikhail Kuzmin, Valentina Sideleva, Galina Khursevich, Alexander Prokopenko, Emilia Solotchina, Lilia Tkachenko, Svetlana Fedenya, Eugene Kerber
    posted to no-tag by guitarwolf on 2006-03-03 13:30:39 as **
  • Women of the Republic: Intellect and Ideology in Revolutionary America
    by Linda K Kerber
    posted to 18c intellectual women by srl on 2005-10-24 16:31:51 as **
  • No Constitutional Right to be Ladies : Women and the Obligations of Citizenship
    (01 September 1999)
    by Linda K Kerber
    posted to citizenship political women by srl on 2005-10-24 16:31:31 as **
  • Toward an Intellectual History of Women: Essays by Linda K. Kerber
    (01 August 1997)
    by Linda K Kerber
    posted to gender intellectual women by srl on 2005-10-24 16:31:10 as **
  • On Knowledge, Strings, and Paradoxes
    Lecture Notes in Computer Science, Vol. 1489 (1998)
    by Manfred Kerber
    posted to epistemic knowledge paradox philosophical_logic self-reference by greg_restall on 2005-03-12 08:07:46 as ** along with 1 person recordmymind
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/author/Kerber

    RIS BibTeX RSS
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.