Otsing - TalTech teadusportaal

kuva

reasta

1

artikkel ajakirjas EST / artikkel ajakirjas ENG

Abstract categorical semantics for resourceful functional reactive programmingJeltsch, WolfgangJournal of logical and algebraic methods in programming2016 / p. 1177-1200 : ill https://doi.org/10.1016/j.jlamp.2016.07.001 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

2

artikkel kogumikus

Besicovitch pseudodistances with respect to non-Følner sequencesCapobianco, Silvio; Guillon, Pierre; Nous, CamilleHAL archives2020 / hal-02566187, 15 p https://hal.archives-ouvertes.fr/hal-02566187

artikkel kogumikus

3

artikkel ajakirjas EST / artikkel ajakirjas ENG

Besicovitch pseudodistances with respect to non-følner sequencesCapobianco, Silvio; Guillon, PierreComplex Systems2021 / p. 133 - 158 https://doi.org/10.25088/COMPLEXSYSTEMS.30.2.133 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOs

artikkel ajakirjas EST / artikkel ajakirjas ENG

4

artikkel kogumikus EST / artikkel kogumikus ENG

Beta assertive graphsBellucci, Francesco; Chiffi, Daniele; Pietarinen, Ahti-VeikkoDiagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / p. 525-529 https://doi.org/10.1007/978-3-030-54249-8_49 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

5

artikkel ajakirjas EST / artikkel ajakirjas ENG

Beta assertive graphs : proofs of assertions with quantificationBellucci, Francesco; Chiffi, Daniele; Pietarinen, Ahti-VeikkoJournal of applied logics : IfCoLog journal of logics and their applications2021 / 23 p. : ill https://www.collegepublications.co.uk/downloads/ifcolog00044.pdf Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

6

artikkel kogumikus EST / artikkel kogumikus ENG

A Characterization of Amenable Groups by Besicovitch PseudodistancesCapobianco, Silvio; Guillon, PierreCellular Automata and Discrete Complex Systems : 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10–12, 2020 : proceedings2020 / p. 99-110 https://doi.org/10.1007/978-3-030-61588-8_8 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

7

artikkel ajakirjas

COLOG-88Lorents, PeeterArvutustehnika ja Andmetöötlus : A&A1989 / lk. 36-37 https://www.ester.ee/record=b1071940*est

artikkel ajakirjas

8

artikkel ajakirjas

Completeness of resolution for definite answersTammet, TanelJournal of logic and computation1995 / 4, p. 449-471

artikkel ajakirjas

9

artikkel ajakirjas

Counting with AliceMoktefi, AmiroucheRIPEM: International Journal for Research in Mathematics Education Literature and Mathematics: possible interrelationships2020 / p.58-68 https://doi.org/10.37001/ripem.v10i2.2173

artikkel ajakirjas

10

raamat

Diagrammatic Representation and Inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 https://doi.org/10.1007/978-3-030-54249-8

raamat

11

artikkel ajakirjas

Did Lewis Carroll own a copy of George Boole's Laws of thought? An argument from the sale cataloguesMoktefi, AmiroucheBSHM bulletin : journal of the British Society for the History of Mathematics2018 / p. 21-28 : ill https://doi.org/10.1080/17498430.2017.1384200

artikkel ajakirjas

12

artikkel ajakirjas

Extending automated deduction for commonsense reasoningTammet, TanelarXiv.org2020 / p. 1-19 https://arxiv.org/pdf/2003.13159.pdf https://arxiv.org/abs/2003.13159

artikkel ajakirjas

13

artikkel ajakirjas

Fekete's lemma for componentwise subadditive functions of two or more real variablesCapobianco, SilvioarXiv.org2019 / 20 p. : ill https://arxiv.org/abs/1904.10507

artikkel ajakirjas

14

artikkel kogumikus EST / artikkel kogumikus ENG

First order logic and commonsense reasoning : a path less travelledTammet, Tanel; Draheim, Dirk; Järv, Priit; Verrev, MartinICLP Workshops 2022 : Proceedings of the International Conference on Logic Programming 2022 Workshops, co-located with the 38th International Conference on Logic Programming, ICLP 20222022 / art. 182197 https://ceur-ws.org/Vol-3193/short5GDE.pdf Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

15

artikkel kogumikus

ForewordPietarinen, Ahti-VeikkoLogic of the future : writings on existential graphs. Part 1: The Logical Tracts2021 / p. XV-XVII https://doi.org/10.1515/9783110651423-205

artikkel kogumikus

16

artikkel kogumikus

ForewordPietarinen, Ahti-VeikkoLogic of the future : writings on existential graphs. Volume 1. History and applications2020 / p. XV-XVI https://www.degruyter.com/downloadpdf/book/9783110651409/10.1515/9783110651409-204.xml https://doi.org/10.1515/9783110651409-204

artikkel kogumikus

17

artikkel kogumikus EST / artikkel kogumikus ENG

From equations to distinctions: Two interpretations of effectful computationsVoorneveld, NielsProceedings of the 8th Workshop on Mathematically Structured Functional Programming, MSFP '20, Dublin, Ireland, 25 April 20202020 / p. 1-17 https://doi.org/10.4204/EPTCS.317.1 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

18

artikkel ajakirjas EST / artikkel ajakirjas ENG

GC and other methods for full and partial context coverageRaun, Kristo; Torim, Ants; Ben Yahia, SadokProcedia computer science2021 / p. 746−755 https://doi.org/10.1016/j.procs.2021.08.077 Conference proceeding at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

19

artikkel kogumikus

General Introduction to Logic of the FuturePietarinen, Ahti-VeikkoLogic of the future : writings on existential graphs. Volume 1. History and applications2020 / p. 1-13 https://doi.org/10.1515/9783110651409-001

artikkel kogumikus

20

raamat

Hulgateooria ja loogika elemente : põhimõisted ja ülesandedMonakov, Aleksander; Normak, P.; Levin, Aleksander1986 https://www.ester.ee/record=b1224422*est

raamat

21

artikkel ajakirjas EST / artikkel ajakirjas ENG

Icons, interrogations, and graphs: On Peirce's integrated notion of abductionPietarinen, Ahti-Veikko; Bellucci, FrancescoTransactions of the Charles S. Peirce Society2020 / p. 43-61 https://doi.org/10.2979/trancharpeirsoc.56.1.03 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

22

artikkel kogumikus

Introduction to the Theory of Existential Graphs and Volume 1Pietarinen, Ahti-VeikkoLogic of the future : writings on existential graphs. Volume 1. History and applications2020 / p. 14-36 https://doi.org/10.1515/9783110651409-002

artikkel kogumikus

23

artikkel kogumikus

Introduction to the Theory of Existential Graphs, Volumes 2/1 and 2/2Pietarinen, Ahti-VeikkoLogic of the future : writings on existential graphs. Part 1: The Logical Tracts2021 / p. 15-68 https://doi.org/10.1515/9783110651423-002

artikkel kogumikus

24

artikkel kogumikus

Introduction to the Theory of Existential Graphs, Volumes 2/1 and 2/2Pietarinen, Ahti-VeikkoLogic of the future : writings on existential graphs. Part 2: The 1903 Lowell Lectures2021 / p. 15-28 https://doi.org/10.1515/9783110740462-002

artikkel kogumikus

25

artikkel kogumikus

Introduction to Volume 2/1: The Logical TractsPietarinen, Ahti-VeikkoLogic of the future : writings on existential graphs. Part 2: The 1903 Lowell Lectures2021 / p. 69-100 https://doi.org/10.1515/9783110651423-003

artikkel kogumikus

matemaatiline loogika (märksõna)

teaviku laadid

märksõna 19

võtmesõna 1