Otsing - TalTech teadusportaal

kuva

reasta

1

artikkel ajakirjas

Abstract categorical semantics for resourceful functional reactive programmingJeltsch, WolfgangJournal of logical and algebraic methods in programming2016 / p. 1177-1200 : ill http://dx.doi.org/10.1016/j.jlamp.2016.07.001

artikkel ajakirjas

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 kogumikus

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

artikkel kogumikus

4

artikkel kogumikus

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

artikkel kogumikus

5

artikkel ajakirjas

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

artikkel ajakirjas

6

artikkel ajakirjas

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

artikkel ajakirjas

7

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

8

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

9

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

10

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

11

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

12

artikkel kogumikus

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

artikkel kogumikus

13

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

14

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

15

artikkel kogumikus

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

artikkel kogumikus

16

artikkel ajakirjas

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

artikkel ajakirjas

17

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

18

raamat

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

raamat

19

artikkel ajakirjas

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

artikkel ajakirjas

20

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

21

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

22

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

23

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

24

artikkel kogumikus

Introduction to Volume 2/2: The 1903 Lowell LecturesPietarinen, Ahti-VeikkoLogic of the future : writings on existential graphs. Part 2: The 1903 Lowell Lectures2021 / p. 29-117 https://doi.org/10.1515/9783110740462-003

artikkel kogumikus

25

artikkel kogumikus

JärelsõnaTammet, TanelGödeli tõestus : koos Kurt Gödeli loenguga matemaatika alustest ja Tanel Tammeti järelsõnaga2020 / lk. 125−135 https://www.ester.ee/record=b5346988*est

artikkel kogumikus

matemaatiline loogika (märksõna)

teaviku laadid