Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
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..
Tühista
Kirjeid leitud
60
Vaata veel..
(2/19)
Ekspordi
ekspordi kõik päringu tulemused
(60)
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 EST
/
artikkel ajakirjas ENG
Abstract categorical semantics for resourceful functional reactive programming
Jeltsch, Wolfgang
Journal of logical and algebraic methods in programming
2016
/
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 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 ajakirjas EST
/
artikkel ajakirjas ENG
Besicovitch pseudodistances with respect to non-følner sequences
Capobianco, Silvio
;
Guillon, Pierre
Complex Systems
2021
/
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 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
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 quantification
Bellucci, Francesco
;
Chiffi, Daniele
;
Pietarinen, Ahti-Veikko
Journal of applied logics : IfCoLog journal of logics and their applications
2021
/
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 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
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
7
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
8
artikkel ajakirjas
Completeness of resolution for definite answers
Tammet, Tanel
Journal of logic and computation
1995
/
4, p. 449-471
artikkel ajakirjas
9
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
10
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
11
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
12
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
13
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
14
artikkel kogumikus EST
/
artikkel kogumikus ENG
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
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
15
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
16
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
17
artikkel kogumikus EST
/
artikkel kogumikus ENG
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
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 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
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 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
20
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
21
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
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
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 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
23
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
24
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
25
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
Kirjeid leitud 60, kuvan
1 - 25
eelmine
1
2
3
järgmine
märksõna
18
1.
matemaatiline loogika
2.
eeldused (loogika)
3.
eitus (loogika)
4.
formaalne loogika
5.
induktsioon (loogika)
6.
järeldamine (loogika)
7.
loogika
8.
loogika ajalugu
9.
otsustused (loogika)
10.
teaduse loogika
11.
temporaalne loogika
12.
väliprogrammeeritav loogika
13.
matemaatiline analüüs
14.
matemaatiline füüsika
15.
matemaatiline lingvistika
16.
matemaatiline modelleerimine
17.
matemaatiline planeerimine
18.
matemaatiline statistika
võtmesõna
1
1.
matemaatiline modelleerimine
×
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