Registrer deg | Logg på | FAQ      [?] 

Nøkkelord: logical [17 articles]

Nye artikler klassifisert med nøkkelordet logical.
  • Categorical glueing and logical predicates for models of linear logic
    (1999)
    by M Hasegawa
    posted to linear logic logical predicates by vcvpaiva on 2007-06-30 18:15:05 as **
  • The Semantic Tradition from Kant to Carnap : To the Vienna Station
    (29 January 1993)
    by Alberto Coffa
    edited by Linda Wessels
    posted to carnap coffa kant logical positivism by terumiyake on 2006-05-07 22:32:30 as ** along with 1 person cfrench
  • Philosophical Naturalism
    Proceedings and Addresses of the American Philosophical Association, Vol. 71, No. 2. (November 1997), pp. 5-21.
    by Michael Friedman
    posted to friedman logical naturalism positivism quine by terumiyake on 2006-05-07 22:25:53 as read along with 1 person jwolff
  • Carnap's Aufbau Reconsidered
    Noûs, Vol. 21, No. 4. (1987), pp. 521-545.
    by Michael Friedman
    posted to friedman logical positivism by terumiyake on 2006-05-07 22:25:14 as read
  • Dynamics of Reason (Center for the Study of Language and Information - Lecture Notes)
    (01 March 2001)
    by Michael Friedman
    posted to friedman kant kuhn logical positivism by terumiyake on 2006-05-07 22:06:48 as read along with 2 people greg_restall jwolff
  • Logical models of argument
    ACM Computing Surveys (CSUR), Vol. 32, No. 4. (December 2000), pp. 337-383.
    by Carlos I Chesnevar, Ana G Maguitman, Ronald P Loui
    posted to argumentation logical model by sdehousse on 2007-09-24 14:20:47 as ***** along with 2 people and 1 group mccasalini yijunyu IMRU
  • Learning to parse natural language database queries into logical form
    (1997)
    by C Thompson, R Mooney, L Tang
    posted to representation nlp lp logical by scis0000001 on 2007-01-19 15:10:40 as **
  • An axiomatic basis for computer programming
    Commun. ACM, Vol. 12, No. 10. (October 1969), pp. 576-580.
    by CAR Hoare
    posted to computer foundations geometry logical mathematics programming techniques by rgb on 2006-08-04 10:09:15 as ** along with 9 people and 5 groups zuleger bfraser _Anne_ rwtodd dsilva jff jbrown calvins flavian_vasile Crypto GraphTheory pileWorks Foundations-of-Programming TMC
  • Computational discovery of transcriptional regulatory rules.
    Bioinformatics, Vol. 21 Suppl 2 (1 September 2005)
    by TH Pham, JC Clemente, K Satou, TB Ho
    posted to expression logical modules by noano on 2006-06-29 09:01:44 as read
  • Interconnect Effort - A Unification of Repeater Insertion and Logical Effort
    (2003)
    by Srividya Srinivasaraghavan, Wayne Burleson
    posted to effort interconnect logical repeater by mobius2004 on 2005-09-15 19:08:56 as **
  • notes Application of logical effort on design of arithmetic blocks
    Signals, Systems and Computers, 2001. Conference Record of the Thirty-Fifth Asilomar Conference on, Vol. 1 (2001), pp. 872-874 vol.1.
    by Xiao Y Yu, VG Oklobdzija, WW Walker
    posted to adder arithmetic effort logical by mobius2004 on 2005-09-15 17:38:05 as **
  • Foundations for Programming Languages (Foundations of Computing)
    (01 September 1996)
    by John C Mitchell
    posted to denotational languages logical parametricity polymorphism programming relation semantics by kontakte on 2006-02-10 17:29:18 as *** along with 2 people voigt Malcohol
  • A Framework for Defining Logics
    (1987), pp. 194-204.
    by Robert Harper, Furio Honsell, Gordon Plotkin
    posted to dependent framework lf logical type by kontakte on 2006-02-10 16:54:25 as read along with 1 person amorkan
  • On Husserl's Theory of Consciousness in the Fifth Logical Investigation
    Philosophy and Phenomenological Research, Vol. 37, No. 4. (1977), pp. 482-497.
    by Quentin Smith
    posted to consciousness husserl investigation logical by jejellz on 2007-05-22 21:57:31 as *****
  • [The Philosophy of Edmund Husserl: In its Development from his Mathematical Interests to his First Conception of Phenomenology in "Logical Investigations." (Andrew D. Osborn)]
    The Journal of Philosophy, Vol. 32, No. 8. (1935), pp. 218-219.
    by
    posted to husserl investigations logical tesis_capitulo1 by jejellz on 2007-05-30 00:59:48 as ** along with 1 person combsj
  • Interpreting logical form
    Linguistics and Philosophy, Vol. 12, No. 4. (1989), pp. 387-435.
    by Robert May
    posted to logical form by JakubSzymanik on 2008-05-30 14:44:42 as read
  • N3Logic: A Logical Framework For the World Wide Web
    (9 Nov 2007)
    by Tim Berners-Lee, Dan Connolly, Lalana Kagal, Yosi Scharf, Jim Hendler
    posted to for framework logical the web wide world by A_Olympia on 2007-11-13 08:57:27 as ** along with 1 person julianjonker
    • NB: Du kan sitere denne siden som: http://www.citeulike.org/tag/logical

    RIS BibTeX
    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.