Resultados de la búsqueda

Para más opciones de búsqueda, vea Ayuda:Búsqueda.

  • ISBN 978-0-631-23384-8.  Reedición en Eli Hirsch (2011). «Chapter 5: Quantifier Variance and Realism». Quantifier Variance and Realism: Essays in Metaontology. Oxford…
    21 kB (2335 palabras) - 16:10 9 ene 2023
  • Miniatura para Nate Ackerman
    el Mathematics Genealogy Project. Nathanael Leedom Ackerman (2006). On Quantifier Rank Spectrum of L-Infinity-Omega (Ph.D. thesis). Massachusetts Institute…
    3 kB (268 palabras) - 20:59 10 oct 2023
  • Cuantificador (Lógica Formal) Cuantificador en la Wikilengua del Español Quantifier en la Wikipedia en Inglés Semántica en Wikipedia en Español Datos: Q1909485…
    6 kB (637 palabras) - 11:14 13 nov 2023
  • sobre todo en la literatura inglesa la denominación Kleene's exactly-one quantifier (basta con hacer una búsqueda en Internet)—, y todo ello a pesar de la…
    5 kB (808 palabras) - 07:56 21 dic 2022
  • Miniatura para Dana Scott
    Choice) y Edgar López-Escobar (Infinitely Long Formulas with Countable Quantifier Degrees). El trabajo de Scott como director de tesis fue una importante…
    13 kB (1050 palabras) - 17:05 17 abr 2024
  • Simplificación Brown, Christopher W. (31 de julio de 2002). «What is Quantifier Elimination». Consultado el Aug 30, 2018.  Grädel, Erich; Kolaitis, Phokion…
    8 kB (1035 palabras) - 10:48 14 ene 2024
  • Miniatura para Richard Pollack
    Marie-Françoise (1996), «On the combinatorial and algebraic complexity of quantifier elimination», Journal of the ACM 43 (6): 1002-1045, doi:10.1145/235809…
    9 kB (826 palabras) - 21:53 24 abr 2024
  • no. 2, pp. 251–264. Caviness, B F, and Jeremy R. Johnson, eds. (1998) Quantifier elimination and cylindrical algebraic decomposition. Springer. ISBN 3-211-82794-3…
    21 kB (3018 palabras) - 07:43 19 abr 2024
  • Miniatura para Complejidad temporal
    Davenport & J. Heintz: Real Quantifier Elimination is Doubly Exponential. J. Symbolic Comp. 5(1988) pp. 29–35. G.E. Collins: Quantifier Elimination for Real…
    44 kB (5164 palabras) - 13:18 13 ene 2024
  • Miniatura para Tanya Reinhart
    1995. "Interface strategies". OTS Working Papers in Linguistics. 1997. "Quantifier scope: how labor is divided between QR and choice functions". Linguistics…
    12 kB (1424 palabras) - 10:00 19 abr 2024
  • mayo de 2015. Consultado el 3 de marzo de 2016.  Simon Blackburn (ed.). «quantifier». The Oxford Dictionary of Philosophy. Oxford University Press. Consultado…
    44 kB (5602 palabras) - 15:56 13 feb 2024
  • Miniatura para Joos Ulrich Heintz
    el 10 de julio de 2021.  Heintz, Joos (1983). «Definability and fast quantifier elimination in algebraically closed fields». Theoretical Computer Science…
    17 kB (1803 palabras) - 18:58 4 ene 2024
  • Miniatura para Oración burro
    Synthese 153 (2006): 199–260. Moltmann, Friederike. 'Presuppositions and Quantifier Domains'. Synthese 149 (2006): 179–224. Montague, Richard. 'Universal…
    16 kB (2109 palabras) - 17:45 21 abr 2024
  • Miniatura para Lógica
    Gottlob Frege's Begriffschrift introduced the notion of quantifier in a graphical notation, which here represents the judgement that ∀ x . F ( x ) {\displaystyle…
    38 kB (8727 palabras) - 01:01 15 mar 2024
  • Miniatura para Étienne Marcel
    qui se révèle difficile car il faudrait une administration capable de quantifier les revenus des contribuables.[40]​ Encabezando las tropas que habían…
    62 kB (8743 palabras) - 15:39 31 mar 2024
  • Miniatura para Gliptografía
    classification systématique des variantes de chaque motif. ... permettrait de quantifier le travail des constructeurs romans lors de certaines étapes de la construction…
    71 kB (6212 palabras) - 19:48 31 oct 2023
  • III) / "Life Just Bounces" Kimble EP (1993) CD: "Kimble" / "Gut of the Quantifier" / "Spoilt Victorian Child" / "Words of Expectation" 12″: "Kimble" / "C'n'C-Hassle…
    8 kB (1127 palabras) - 09:50 18 ene 2024