Results 11 to 20 of about 9,091 (63)
Description of syntactic structures in the early works of Zenon Klemensiewicz and Noam Chomsky [PDF]
, 2022 Artykuł jest poświęcony konfrontacji wczesnych prac Z. Klemensiewicza (głównie Składnia opisowa współczesnej polszczyzny kulturalnej, 1937) i N. Chomskiego (głównie Syntactic Structures, 1957).
Andrey Babanov +3 more
core +1 more source
Checking Zenon Modulo Proofs in Dedukti [PDF]
, 2015 International audienceDedukti has been proposed as a universal proof checker. It is a logical framework based on the λΠ-calculus modulo that is used as a backend to verify proofs coming from theorem provers, especially those implementing some form of ...
Cauderlier, Raphaël, Halmagrand, Pierre
core +4 more sources
Interview with Zenon Zachariah Zapata [PDF]
, 2020 The interviewee is named Zenon Zachariah Zapata but goes by Zack. He has been a bartender at Buffalo Wings and Rings on North 10th for two years. He will provide us with a bartender\u27s perspective and discuss his personal experiences on how the virus ...
Zapata, Zenon Zachariah +1 more
core +1 more source
, 2009 Biography of Belgian Chef / Restaurateur Zenon Geldof with information of the Geldof family involvement in the history of Dublin ...
Mac Con Iomaire, Máirtín
core +1 more source
, 2020 Efectul cuantic Zenon este unul dintre cele mai frumoase şi intrigante efecte descoperite în ultimul timp în mecanica cuantică. Acest efect a primit numele filosofului grec Zenon din Elea (cca 495 - cca 430 î.H.). Lucrarea pune în evidență esența acestui
TRONCIU, Vasile +2 more
core +1 more source
Die Erfindung der Glaselektrode durch Fritz Haber und Zygmunt Klemensiewicz [PDF]
, 1995 Fritz Haber i Zygmunt Klemensiewicz wynaleźli w roku 1909 elektrodę szklaną, za pomocą której można w sposób prosty i szybki przeprowadzić potencjometryczne miareczkowanie.
Jansen, Walter, Piosik, Romuald
core +1 more source
Zenon: an Extensible Automated Theorem Prover Producing Checkable Proofs [PDF]
, 2007 International audienceWe present Zenon, an automated theorem prover for first order classical logic (with equality), based on the tableau method.
Delahaye, David +5 more
core +1 more source
, 1969 Barreau Hervé. Bergson et Zenon d'Élée. In: Revue Philosophique de Louvain. Troisième série, tome 67, n°94, 1969. pp.
Barreau, Hervé, Hervé Barreau
core +1 more source
Zenon Klemensiewicz and the syntax of Polish and Slavic dialects
, 2019 Artykuł dotyczy dwóch zagadnień: 1) nieznanych wcześniej badań Zenona Klemensiewicza w zakresie składni gwarowej oraz 2) jego polemiki z Jaroslavem Bauerem na temat udziału składni w Ogólnosłowiańskim atlasie językowym.
Rak, Maciej
core
Bogactwo staropolskiej synonimii [PDF]
, 2002 Powszechnie znane są utyskiwania szesnastowiecznych pisarzy na niedostateczny zasób polskiego słownictwa. Zenon Klemensiewicz w Historii języka polskiego przytacza cytat z Nauki o prawdziwej i fałszywej pokucie, w którym Wawrzyniec z Przasnysza ...
Kleszczowa, Krystyna
core