Toggle navigation
Otsi
Publikatsioonid
Profiilid
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
matemaatiline loogika (märksõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Kirjeid leitud
56
Vaata veel..
(0/0)
Ekspordi
ekspordi kõik päringu tulemused
(56)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel ajakirjas
Abstract categorical semantics for resourceful functional reactive programming
Jeltsch, Wolfgang
Journal of logical and algebraic methods in programming
2016
/
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 sequences
Capobianco, Silvio
;
Guillon, Pierre
;
Nous, Camille
HAL archives
2020
/
hal-02566187, 15 p
https://hal.archives-ouvertes.fr/hal-02566187
artikkel kogumikus
3
artikkel kogumikus
Beta assertive graphs
Bellucci, Francesco
;
Chiffi, Daniele
;
Pietarinen, Ahti-Veikko
Diagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings
2020
/
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 Pseudodistances
Capobianco, Silvio
;
Guillon, Pierre
Cellular Automata and Discrete Complex Systems : 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10–12, 2020 : proceedings
2020
/
p. 99-110
https://doi.org/10.1007/978-3-030-61588-8_8
artikkel kogumikus
5
artikkel ajakirjas
COLOG-88
Lorents, Peeter
Arvutustehnika ja Andmetöötlus : A&A
1989
/
lk. 36-37
https://www.ester.ee/record=b1071940*est
artikkel ajakirjas
6
artikkel ajakirjas
Completeness of resolution for definite answers
Tammet, Tanel
Journal of logic and computation
1995
/
4, p. 449-471
artikkel ajakirjas
7
artikkel ajakirjas
Counting with Alice
Moktefi, Amirouche
RIPEM: International Journal for Research in Mathematics Education
Literature and Mathematics: possible interrelationships
2020
/
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 : proceedings
2020
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 catalogues
Moktefi, Amirouche
BSHM bulletin : journal of the British Society for the History of Mathematics
2018
/
p. 21-28 : ill
https://doi.org/10.1080/17498430.2017.1384200
artikkel ajakirjas
10
artikkel ajakirjas
Extending automated deduction for commonsense reasoning
Tammet, Tanel
arXiv.org
2020
/
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 variables
Capobianco, Silvio
arXiv.org
2019
/
20 p. : ill
https://arxiv.org/abs/1904.10507
artikkel ajakirjas
12
artikkel kogumikus
First order logic and commonsense reasoning : a path less travelled
Tammet, Tanel
;
Draheim, Dirk
;
Järv, Priit
;
Verrev, Martin
ICLP Workshops 2022 : Proceedings of the International Conference on Logic Programming 2022 Workshops, co-located with the 38th International Conference on Logic Programming, ICLP 2022
2022
/
art. 182197
https://ceur-ws.org/Vol-3193/short5GDE.pdf
artikkel kogumikus
13
artikkel kogumikus
Foreword
Pietarinen, Ahti-Veikko
Logic of the future : writings on existential graphs. Part 1: The Logical Tracts
2021
/
p. XV-XVII
https://doi.org/10.1515/9783110651423-205
artikkel kogumikus
14
artikkel kogumikus
Foreword
Pietarinen, Ahti-Veikko
Logic of the future : writings on existential graphs. Volume 1. History and applications
2020
/
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 computations
Voorneveld, Niels
Proceedings of the 8th Workshop on Mathematically Structured Functional Programming, MSFP '20, Dublin, Ireland, 25 April 2020
2020
/
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 coverage
Raun, Kristo
;
Torim, Ants
;
Ben Yahia, Sadok
Procedia computer science
2021
/
p. 746−755
https://doi.org/10.1016/j.procs.2021.08.077
artikkel ajakirjas
17
artikkel kogumikus
General Introduction to Logic of the Future
Pietarinen, Ahti-Veikko
Logic of the future : writings on existential graphs. Volume 1. History and applications
2020
/
p. 1-13
https://doi.org/10.1515/9783110651409-001
artikkel kogumikus
18
raamat
Hulgateooria ja loogika elemente : põhimõisted ja ülesanded
Monakov, Aleksander
;
Normak, P.
;
Levin, Aleksander
1986
https://www.ester.ee/record=b1224422*est
raamat
19
artikkel ajakirjas
Icons, interrogations, and graphs: On Peirce's integrated notion of abduction
Pietarinen, Ahti-Veikko
;
Bellucci, Francesco
Transactions of the Charles S. Peirce Society
2020
/
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 1
Pietarinen, Ahti-Veikko
Logic of the future : writings on existential graphs. Volume 1. History and applications
2020
/
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/2
Pietarinen, Ahti-Veikko
Logic of the future : writings on existential graphs. Part 1: The Logical Tracts
2021
/
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/2
Pietarinen, Ahti-Veikko
Logic of the future : writings on existential graphs. Part 2: The 1903 Lowell Lectures
2021
/
p. 15-28
https://doi.org/10.1515/9783110740462-002
artikkel kogumikus
23
artikkel kogumikus
Introduction to Volume 2/1: The Logical Tracts
Pietarinen, Ahti-Veikko
Logic of the future : writings on existential graphs. Part 2: The 1903 Lowell Lectures
2021
/
p. 69-100
https://doi.org/10.1515/9783110651423-003
artikkel kogumikus
24
artikkel kogumikus
Introduction to Volume 2/2: The 1903 Lowell Lectures
Pietarinen, Ahti-Veikko
Logic of the future : writings on existential graphs. Part 2: The 1903 Lowell Lectures
2021
/
p. 29-117
https://doi.org/10.1515/9783110740462-003
artikkel kogumikus
25
artikkel kogumikus
Järelsõna
Tammet, Tanel
Gödeli tõestus : koos Kurt Gödeli loenguga matemaatika alustest ja Tanel Tammeti järelsõnaga
2020
/
lk. 125−135
https://www.ester.ee/record=b5346988*est
artikkel kogumikus
Kirjeid leitud 56, kuvan
1 - 25
eelmine
1
2
3
järgmine
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT