Search (2209 results, page 1 of 111)

  • × language_ss:"e"
  1. Prediger, S.: Kontextuelle Urteilslogik mit Begriffsgraphen : Ein Beitrag zur Restrukturierung der mathematischen Logik (1998) 0.22 
    0.21682535 = product of:
  0.4336507 = sum of:
    0.4171545 = weight(_text_:logik in 3142) [ClassicSimilarity], result of:
      0.4171545 = score(doc=3142,freq=10.0), product of:
        0.24834694 = queryWeight, product of:
          6.7990475 = idf(docFreq=133, maxDocs=44218)
          0.036526725 = queryNorm
        1.6797247 = fieldWeight in 3142, product of:
          3.1622777 = tf(freq=10.0), with freq of:
            10.0 = termFreq=10.0
          6.7990475 = idf(docFreq=133, maxDocs=44218)
          0.078125 = fieldNorm(doc=3142)
    0.016496222 = product of:
      0.049488667 = sum of:
        0.049488667 = weight(_text_:22 in 3142) [ClassicSimilarity], result of:
          0.049488667 = score(doc=3142,freq=2.0), product of:
            0.12791036 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.036526725 = queryNorm
            0.38690117 = fieldWeight in 3142, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.078125 = fieldNorm(doc=3142)
      0.33333334 = coord(1/3)
  0.5 = coord(2/4)
    BK
    31.10 / Mathematische Logik / Mengenlehre
    Classification
    31.10 / Mathematische Logik / Mengenlehre
    Date
    26. 2.2008 15:58:22
    RSWK
    Mathematische Logik
    Subject
    Mathematische Logik
  2. Kleineberg, M.: Context analysis and context indexing : formal pragmatics in knowledge organization (2014) 0.19 
    0.1933804 = product of:
  0.3867608 = sum of:
    0.0966902 = product of:
      0.2900706 = sum of:
        0.2900706 = weight(_text_:3a in 1826) [ClassicSimilarity], result of:
          0.2900706 = score(doc=1826,freq=2.0), product of:
            0.30967396 = queryWeight, product of:
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.036526725 = queryNorm
            0.93669677 = fieldWeight in 1826, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.078125 = fieldNorm(doc=1826)
      0.33333334 = coord(1/3)
    0.2900706 = weight(_text_:2f in 1826) [ClassicSimilarity], result of:
      0.2900706 = score(doc=1826,freq=2.0), product of:
        0.30967396 = queryWeight, product of:
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.036526725 = queryNorm
        0.93669677 = fieldWeight in 1826, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.078125 = fieldNorm(doc=1826)
  0.5 = coord(2/4)
    Source
    http://www.google.de/url?sa=t&rct=j&q=&esrc=s&source=web&cd=5&ved=0CDQQFjAE&url=http%3A%2F%2Fdigbib.ubka.uni-karlsruhe.de%2Fvolltexte%2Fdocuments%2F3131107&ei=HzFWVYvGMsiNsgGTyoFI&usg=AFQjCNE2FHUeR9oQTQlNC4TPedv4Mo3DaQ&sig2=Rlzpr7a3BLZZkqZCXXN_IA&bvm=bv.93564037,d.bGg&cad=rja
  3. Hotho, A.; Bloehdorn, S.: Data Mining 2004 : Text classification by boosting weak learners based on terms and concepts (2004) 0.18 
    0.18146567 = product of:
  0.24195422 = sum of:
    0.05801412 = product of:
      0.17404236 = sum of:
        0.17404236 = weight(_text_:3a in 562) [ClassicSimilarity], result of:
          0.17404236 = score(doc=562,freq=2.0), product of:
            0.30967396 = queryWeight, product of:
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.036526725 = queryNorm
            0.56201804 = fieldWeight in 562, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.046875 = fieldNorm(doc=562)
      0.33333334 = coord(1/3)
    0.17404236 = weight(_text_:2f in 562) [ClassicSimilarity], result of:
      0.17404236 = score(doc=562,freq=2.0), product of:
        0.30967396 = queryWeight, product of:
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.036526725 = queryNorm
        0.56201804 = fieldWeight in 562, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.046875 = fieldNorm(doc=562)
    0.009897733 = product of:
      0.0296932 = sum of:
        0.0296932 = weight(_text_:22 in 562) [ClassicSimilarity], result of:
          0.0296932 = score(doc=562,freq=2.0), product of:
            0.12791036 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.036526725 = queryNorm
            0.23214069 = fieldWeight in 562, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.046875 = fieldNorm(doc=562)
      0.33333334 = coord(1/3)
  0.75 = coord(3/4)
    Content
    Vgl.: http://www.google.de/url?sa=t&rct=j&q=&esrc=s&source=web&cd=1&cad=rja&ved=0CEAQFjAA&url=http%3A%2F%2Fciteseerx.ist.psu.edu%2Fviewdoc%2Fdownload%3Fdoi%3D10.1.1.91.4940%26rep%3Drep1%26type%3Dpdf&ei=dOXrUMeIDYHDtQahsIGACg&usg=AFQjCNHFWVh6gNPvnOrOS9R3rkrXCNVD-A&sig2=5I2F5evRfMnsttSgFF9g7Q&bvm=bv.1357316858,d.Yms.
    Date
    8. 1.2013 10:22:32
  4. Popper, K.R.: Three worlds : the Tanner lecture on human values. Deliverd at the University of Michigan, April 7, 1978 (1978) 0.15 
    0.15470433 = product of:
  0.30940866 = sum of:
    0.077352166 = product of:
      0.23205648 = sum of:
        0.23205648 = weight(_text_:3a in 230) [ClassicSimilarity], result of:
          0.23205648 = score(doc=230,freq=2.0), product of:
            0.30967396 = queryWeight, product of:
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.036526725 = queryNorm
            0.7493574 = fieldWeight in 230, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.0625 = fieldNorm(doc=230)
      0.33333334 = coord(1/3)
    0.23205648 = weight(_text_:2f in 230) [ClassicSimilarity], result of:
      0.23205648 = score(doc=230,freq=2.0), product of:
        0.30967396 = queryWeight, product of:
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.036526725 = queryNorm
        0.7493574 = fieldWeight in 230, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.0625 = fieldNorm(doc=230)
  0.5 = coord(2/4)
    Source
    https%3A%2F%2Ftannerlectures.utah.edu%2F_documents%2Fa-to-z%2Fp%2Fpopper80.pdf&usg=AOvVaw3f4QRTEH-OEBmoYr2J_c7H
  5. Li, L.; Shang, Y.; Zhang, W.: Improvement of HITS-based algorithms on Web documents 0.15 
    0.15207359 = product of:
  0.30414718 = sum of:
    0.05801412 = product of:
      0.17404236 = sum of:
        0.17404236 = weight(_text_:3a in 2514) [ClassicSimilarity], result of:
          0.17404236 = score(doc=2514,freq=2.0), product of:
            0.30967396 = queryWeight, product of:
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.036526725 = queryNorm
            0.56201804 = fieldWeight in 2514, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.046875 = fieldNorm(doc=2514)
      0.33333334 = coord(1/3)
    0.24613306 = weight(_text_:2f in 2514) [ClassicSimilarity], result of:
      0.24613306 = score(doc=2514,freq=4.0), product of:
        0.30967396 = queryWeight, product of:
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.036526725 = queryNorm
        0.7948135 = fieldWeight in 2514, product of:
          2.0 = tf(freq=4.0), with freq of:
            4.0 = termFreq=4.0
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.046875 = fieldNorm(doc=2514)
  0.5 = coord(2/4)
    Content
    Vgl.: http%3A%2F%2Fdelab.csd.auth.gr%2F~dimitris%2Fcourses%2Fir_spring06%2Fpage_rank_computing%2Fp527-li.pdf. Vgl. auch: http://www2002.org/CDROM/refereed/643/.
  6. Vetere, G.; Lenzerini, M.: Models for semantic interoperability in service-oriented architectures (2005) 0.14 
    0.13536629 = product of:
  0.27073258 = sum of:
    0.067683145 = product of:
      0.20304942 = sum of:
        0.20304942 = weight(_text_:3a in 306) [ClassicSimilarity], result of:
          0.20304942 = score(doc=306,freq=2.0), product of:
            0.30967396 = queryWeight, product of:
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.036526725 = queryNorm
            0.65568775 = fieldWeight in 306, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.0546875 = fieldNorm(doc=306)
      0.33333334 = coord(1/3)
    0.20304942 = weight(_text_:2f in 306) [ClassicSimilarity], result of:
      0.20304942 = score(doc=306,freq=2.0), product of:
        0.30967396 = queryWeight, product of:
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.036526725 = queryNorm
        0.65568775 = fieldWeight in 306, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.0546875 = fieldNorm(doc=306)
  0.5 = coord(2/4)
    Content
    Vgl.: http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=5386707&url=http%3A%2F%2Fieeexplore.ieee.org%2Fxpls%2Fabs_all.jsp%3Farnumber%3D5386707.
  7. Mas, S.; Marleau, Y.: Proposition of a faceted classification model to support corporate information organization and digital records management (2009) 0.12 
    0.11602824 = product of:
  0.23205648 = sum of:
    0.05801412 = product of:
      0.17404236 = sum of:
        0.17404236 = weight(_text_:3a in 2918) [ClassicSimilarity], result of:
          0.17404236 = score(doc=2918,freq=2.0), product of:
            0.30967396 = queryWeight, product of:
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.036526725 = queryNorm
            0.56201804 = fieldWeight in 2918, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.046875 = fieldNorm(doc=2918)
      0.33333334 = coord(1/3)
    0.17404236 = weight(_text_:2f in 2918) [ClassicSimilarity], result of:
      0.17404236 = score(doc=2918,freq=2.0), product of:
        0.30967396 = queryWeight, product of:
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.036526725 = queryNorm
        0.56201804 = fieldWeight in 2918, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.046875 = fieldNorm(doc=2918)
  0.5 = coord(2/4)
    Footnote
    Vgl.: http://ieeexplore.ieee.org/Xplore/login.jsp?reload=true&url=http%3A%2F%2Fieeexplore.ieee.org%2Fiel5%2F4755313%2F4755314%2F04755480.pdf%3Farnumber%3D4755480&authDecision=-203.
  8. Zeng, Q.; Yu, M.; Yu, W.; Xiong, J.; Shi, Y.; Jiang, M.: Faceted hierarchy : a new graph type to organize scientific concepts and a construction method (2019) 0.12 
    0.11602824 = product of:
  0.23205648 = sum of:
    0.05801412 = product of:
      0.17404236 = sum of:
        0.17404236 = weight(_text_:3a in 400) [ClassicSimilarity], result of:
          0.17404236 = score(doc=400,freq=2.0), product of:
            0.30967396 = queryWeight, product of:
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.036526725 = queryNorm
            0.56201804 = fieldWeight in 400, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.046875 = fieldNorm(doc=400)
      0.33333334 = coord(1/3)
    0.17404236 = weight(_text_:2f in 400) [ClassicSimilarity], result of:
      0.17404236 = score(doc=400,freq=2.0), product of:
        0.30967396 = queryWeight, product of:
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.036526725 = queryNorm
        0.56201804 = fieldWeight in 400, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.046875 = fieldNorm(doc=400)
  0.5 = coord(2/4)
    Content
    Vgl.: https%3A%2F%2Faclanthology.org%2FD19-5317.pdf&usg=AOvVaw0ZZFyq5wWTtNTvNkrvjlGA.
  9. Noever, D.; Ciolino, M.: ¬The Turing deception (2022) 0.12 
    0.11602824 = product of:
  0.23205648 = sum of:
    0.05801412 = product of:
      0.17404236 = sum of:
        0.17404236 = weight(_text_:3a in 862) [ClassicSimilarity], result of:
          0.17404236 = score(doc=862,freq=2.0), product of:
            0.30967396 = queryWeight, product of:
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.036526725 = queryNorm
            0.56201804 = fieldWeight in 862, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.046875 = fieldNorm(doc=862)
      0.33333334 = coord(1/3)
    0.17404236 = weight(_text_:2f in 862) [ClassicSimilarity], result of:
      0.17404236 = score(doc=862,freq=2.0), product of:
        0.30967396 = queryWeight, product of:
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.036526725 = queryNorm
        0.56201804 = fieldWeight in 862, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.046875 = fieldNorm(doc=862)
  0.5 = coord(2/4)
    Source
    https%3A%2F%2Farxiv.org%2Fabs%2F2212.06721&usg=AOvVaw3i_9pZm9y_dQWoHi6uv0EN
  10. Xiong, C.: Knowledge based text representations for information retrieval (2016) 0.10 
    0.1013824 = product of:
  0.2027648 = sum of:
    0.038676083 = product of:
      0.11602824 = sum of:
        0.11602824 = weight(_text_:3a in 5820) [ClassicSimilarity], result of:
          0.11602824 = score(doc=5820,freq=2.0), product of:
            0.30967396 = queryWeight, product of:
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.036526725 = queryNorm
            0.3746787 = fieldWeight in 5820, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.03125 = fieldNorm(doc=5820)
      0.33333334 = coord(1/3)
    0.16408871 = weight(_text_:2f in 5820) [ClassicSimilarity], result of:
      0.16408871 = score(doc=5820,freq=4.0), product of:
        0.30967396 = queryWeight, product of:
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.036526725 = queryNorm
        0.5298757 = fieldWeight in 5820, product of:
          2.0 = tf(freq=4.0), with freq of:
            4.0 = termFreq=4.0
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.03125 = fieldNorm(doc=5820)
  0.5 = coord(2/4)
    Content
    Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Language and Information Technologies. Vgl.: https%3A%2F%2Fwww.cs.cmu.edu%2F~cx%2Fpapers%2Fknowledge_based_text_representation.pdf&usg=AOvVaw0SaTSvhWLTh__Uz_HtOtl3.
  11. Farazi, M.: Faceted lightweight ontologies : a formalization and some experiments (2010) 0.10 
    0.0966902 = product of:
  0.1933804 = sum of:
    0.0483451 = product of:
      0.1450353 = sum of:
        0.1450353 = weight(_text_:3a in 4997) [ClassicSimilarity], result of:
          0.1450353 = score(doc=4997,freq=2.0), product of:
            0.30967396 = queryWeight, product of:
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.036526725 = queryNorm
            0.46834838 = fieldWeight in 4997, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.0390625 = fieldNorm(doc=4997)
      0.33333334 = coord(1/3)
    0.1450353 = weight(_text_:2f in 4997) [ClassicSimilarity], result of:
      0.1450353 = score(doc=4997,freq=2.0), product of:
        0.30967396 = queryWeight, product of:
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.036526725 = queryNorm
        0.46834838 = fieldWeight in 4997, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.0390625 = fieldNorm(doc=4997)
  0.5 = coord(2/4)
    Content
    PhD Dissertation at International Doctorate School in Information and Communication Technology. Vgl.: https%3A%2F%2Fcore.ac.uk%2Fdownload%2Fpdf%2F150083013.pdf&usg=AOvVaw2n-qisNagpyT0lli_6QbAQ.
  12. Malsburg, C. von der: ¬The correlation theory of brain function (1981) 0.10 
    0.0966902 = product of:
  0.1933804 = sum of:
    0.0483451 = product of:
      0.1450353 = sum of:
        0.1450353 = weight(_text_:3a in 76) [ClassicSimilarity], result of:
          0.1450353 = score(doc=76,freq=2.0), product of:
            0.30967396 = queryWeight, product of:
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.036526725 = queryNorm
            0.46834838 = fieldWeight in 76, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.0390625 = fieldNorm(doc=76)
      0.33333334 = coord(1/3)
    0.1450353 = weight(_text_:2f in 76) [ClassicSimilarity], result of:
      0.1450353 = score(doc=76,freq=2.0), product of:
        0.30967396 = queryWeight, product of:
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.036526725 = queryNorm
        0.46834838 = fieldWeight in 76, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.0390625 = fieldNorm(doc=76)
  0.5 = coord(2/4)
    Source
    http%3A%2F%2Fcogprints.org%2F1380%2F1%2FvdM_correlation.pdf&usg=AOvVaw0g7DvZbQPb2U7dYb49b9v_
  13. Huo, W.: Automatic multi-word term extraction and its application to Web-page summarization (2012) 0.09 
    0.09197005 = product of:
  0.1839401 = sum of:
    0.17404236 = weight(_text_:2f in 563) [ClassicSimilarity], result of:
      0.17404236 = score(doc=563,freq=2.0), product of:
        0.30967396 = queryWeight, product of:
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.036526725 = queryNorm
        0.56201804 = fieldWeight in 563, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.046875 = fieldNorm(doc=563)
    0.009897733 = product of:
      0.0296932 = sum of:
        0.0296932 = weight(_text_:22 in 563) [ClassicSimilarity], result of:
          0.0296932 = score(doc=563,freq=2.0), product of:
            0.12791036 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.036526725 = queryNorm
            0.23214069 = fieldWeight in 563, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.046875 = fieldNorm(doc=563)
      0.33333334 = coord(1/3)
  0.5 = coord(2/4)
    Content
    A Thesis presented to The University of Guelph In partial fulfilment of requirements for the degree of Master of Science in Computer Science. Vgl. Unter: http://www.inf.ufrgs.br%2F~ceramisch%2Fdownload_files%2Fpublications%2F2009%2Fp01.pdf.
    Date
    10. 1.2013 19:22:47
  14. Stojanovic, N.: Ontology-based Information Retrieval : methods and tools for cooperative query answering (2005) 0.08 
    0.077352166 = product of:
  0.15470433 = sum of:
    0.038676083 = product of:
      0.11602824 = sum of:
        0.11602824 = weight(_text_:3a in 701) [ClassicSimilarity], result of:
          0.11602824 = score(doc=701,freq=2.0), product of:
            0.30967396 = queryWeight, product of:
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.036526725 = queryNorm
            0.3746787 = fieldWeight in 701, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              8.478011 = idf(docFreq=24, maxDocs=44218)
              0.03125 = fieldNorm(doc=701)
      0.33333334 = coord(1/3)
    0.11602824 = weight(_text_:2f in 701) [ClassicSimilarity], result of:
      0.11602824 = score(doc=701,freq=2.0), product of:
        0.30967396 = queryWeight, product of:
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.036526725 = queryNorm
        0.3746787 = fieldWeight in 701, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          8.478011 = idf(docFreq=24, maxDocs=44218)
          0.03125 = fieldNorm(doc=701)
  0.5 = coord(2/4)
    Content
    Vgl.: http%3A%2F%2Fdigbib.ubka.uni-karlsruhe.de%2Fvolltexte%2Fdocuments%2F1627&ei=tAtYUYrBNoHKtQb3l4GYBw&usg=AFQjCNHeaxKkKU3-u54LWxMNYGXaaDLCGw&sig2=8WykXWQoDKjDSdGtAakH2Q&bvm=bv.44442042,d.Yms.
  15. Parrochia, D.; Neuville, D.: Towards a general theory of classifications (2013) 0.07 
    0.07008197 = product of:
  0.14016394 = sum of:
    0.13191584 = weight(_text_:logik in 3100) [ClassicSimilarity], result of:
      0.13191584 = score(doc=3100,freq=4.0), product of:
        0.24834694 = queryWeight, product of:
          6.7990475 = idf(docFreq=133, maxDocs=44218)
          0.036526725 = queryNorm
        0.5311756 = fieldWeight in 3100, product of:
          2.0 = tf(freq=4.0), with freq of:
            4.0 = termFreq=4.0
          6.7990475 = idf(docFreq=133, maxDocs=44218)
          0.0390625 = fieldNorm(doc=3100)
    0.008248111 = product of:
      0.024744334 = sum of:
        0.024744334 = weight(_text_:22 in 3100) [ClassicSimilarity], result of:
          0.024744334 = score(doc=3100,freq=2.0), product of:
            0.12791036 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.036526725 = queryNorm
            0.19345059 = fieldWeight in 3100, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.0390625 = fieldNorm(doc=3100)
      0.33333334 = coord(1/3)
  0.5 = coord(2/4)
    BK
    31.10 Mathematische Logik Mengenlehre
    Classification
    31.10 Mathematische Logik Mengenlehre
    Date
    8. 9.2016 22:04:09
  16. Dawson, J.: Logical dilemmas : the life and work of Kurt Gödel (1996) 0.06 
    0.06257318 = product of:
  0.25029272 = sum of:
    0.25029272 = weight(_text_:logik in 5989) [ClassicSimilarity], result of:
      0.25029272 = score(doc=5989,freq=10.0), product of:
        0.24834694 = queryWeight, product of:
          6.7990475 = idf(docFreq=133, maxDocs=44218)
          0.036526725 = queryNorm
        1.0078349 = fieldWeight in 5989, product of:
          3.1622777 = tf(freq=10.0), with freq of:
            10.0 = termFreq=10.0
          6.7990475 = idf(docFreq=133, maxDocs=44218)
          0.046875 = fieldNorm(doc=5989)
  0.25 = coord(1/4)
    Abstract
    Die Biographie von Dawson, einem der Mitherausgeber der Gesammelten Werke Gödels, stützt sich auf ein intensives Studium des Nachlasses und zahlreiche Interviews mit Experten und Zeitgenossen Gödels. Sie verbindet eine umfassende Darstellung des persönlichen und kulturellen Hintergrundes mit einer integrierten Geschichte der Logik im 20. Jahrhundert, einer Geschichte, in der Gödel einer der Hauptdarsteller war
    BK
    31.10 / Mathematische Logik / Mengenlehre
    Classification
    31.10 / Mathematische Logik / Mengenlehre
    RSWK
    Gödel, Kurt / Mathematische Logik (GBV)
    Subject
    Gödel, Kurt / Mathematische Logik (GBV)
  17. Preuss, L.: Grundlage für eine quantitative Logik (1995) 0.06 
    0.055967145 = product of:
  0.22386858 = sum of:
    0.22386858 = weight(_text_:logik in 1138) [ClassicSimilarity], result of:
      0.22386858 = score(doc=1138,freq=2.0), product of:
        0.24834694 = queryWeight, product of:
          6.7990475 = idf(docFreq=133, maxDocs=44218)
          0.036526725 = queryNorm
        0.90143484 = fieldWeight in 1138, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.7990475 = idf(docFreq=133, maxDocs=44218)
          0.09375 = fieldNorm(doc=1138)
  0.25 = coord(1/4)
  18. Jouis, C.: Logic of relationships (2002) 0.05 
    0.050763343 = product of:
  0.101526685 = sum of:
    0.09327857 = weight(_text_:logik in 1204) [ClassicSimilarity], result of:
      0.09327857 = score(doc=1204,freq=2.0), product of:
        0.24834694 = queryWeight, product of:
          6.7990475 = idf(docFreq=133, maxDocs=44218)
          0.036526725 = queryNorm
        0.37559783 = fieldWeight in 1204, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.7990475 = idf(docFreq=133, maxDocs=44218)
          0.0390625 = fieldNorm(doc=1204)
    0.008248111 = product of:
      0.024744334 = sum of:
        0.024744334 = weight(_text_:22 in 1204) [ClassicSimilarity], result of:
          0.024744334 = score(doc=1204,freq=2.0), product of:
            0.12791036 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.036526725 = queryNorm
            0.19345059 = fieldWeight in 1204, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.0390625 = fieldNorm(doc=1204)
      0.33333334 = coord(1/3)
  0.5 = coord(2/4)
    Date
    1.12.2002 11:12:22
    Field
    Logik
  19. Reasoning Web : Semantic Interoperability on the Web, 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures (2017) 0.05 
    0.046639286 = product of:
  0.18655714 = sum of:
    0.18655714 = weight(_text_:logik in 3934) [ClassicSimilarity], result of:
      0.18655714 = score(doc=3934,freq=8.0), product of:
        0.24834694 = queryWeight, product of:
          6.7990475 = idf(docFreq=133, maxDocs=44218)
          0.036526725 = queryNorm
        0.75119567 = fieldWeight in 3934, product of:
          2.828427 = tf(freq=8.0), with freq of:
            8.0 = termFreq=8.0
          6.7990475 = idf(docFreq=133, maxDocs=44218)
          0.0390625 = fieldNorm(doc=3934)
  0.25 = coord(1/4)
    RSWK
    RDF <Informatik> / Terminologische Logik
    Terminologische Logik
    Subject
    RDF <Informatik> / Terminologische Logik
    Terminologische Logik
  20. Guarino, N.; Welty, C.: Identity and subsumption (2002) 0.03 
    0.0326475 = product of:
  0.13059 = sum of:
    0.13059 = weight(_text_:logik in 1195) [ClassicSimilarity], result of:
      0.13059 = score(doc=1195,freq=2.0), product of:
        0.24834694 = queryWeight, product of:
          6.7990475 = idf(docFreq=133, maxDocs=44218)
          0.036526725 = queryNorm
        0.525837 = fieldWeight in 1195, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.7990475 = idf(docFreq=133, maxDocs=44218)
          0.0546875 = fieldNorm(doc=1195)
  0.25 = coord(1/4)
    Field
    Logik

Authors

Years

Types

  • a 1937
  • m 156
  • s 100
  • el 70
  • b 31
  • r 10
  • x 8
  • i 3
  • n 2
  • p 2
  • h 1
  • More… Less…

Themes

Subjects

Classifications