Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- logic 18 Treffer
- constructive set theory 11 Treffer
- philosophy 9 Treffer
- realizability 6 Treffer
- belle 4 Treffer
-
45 weitere Werte:
- intuitionistic logic 4 Treffer
- adsorption 3 Treffer
- axiom of choice 3 Treffer
- bc1-199 3 Treffer
- electronic computers. computer science 3 Treffer
- genotoxicity 3 Treffer
- magnetic resonance imaging 3 Treffer
- physics 3 Treffer
- qa75.5-76.95 3 Treffer
- active-site 2 Treffer
- annihilation 2 Treffer
- attapulgite 2 Treffer
- carbon-dioxide 2 Treffer
- category 2 Treffer
- cell differentiation 2 Treffer
- cell labeling 2 Treffer
- chemistry 2 Treffer
- co2 hydrogenation 2 Treffer
- comet assay 2 Treffer
- computer science applications 2 Treffer
- convolution neural network 2 Treffer
- cytotoxicity 2 Treffer
- decays 2 Treffer
- detector 2 Treffer
- f.4.1 2 Treffer
- flower development 2 Treffer
- functionality 2 Treffer
- gas shift reaction 2 Treffer
- general chemistry 2 Treffer
- general physics and astronomy 2 Treffer
- identification 2 Treffer
- in-situ drifts 2 Treffer
- kekb 2 Treffer
- kripke models 2 Treffer
- lipid peroxidation 2 Treffer
- mathematics - logic 2 Treffer
- mathematics (miscellaneous) 2 Treffer
- medicine 2 Treffer
- mixed alcohols synthesis 2 Treffer
- multi-task learning 2 Treffer
- neural precursors 2 Treffer
- nuclear and high energy physics 2 Treffer
- original articles 2 Treffer
- over-expression 2 Treffer
- physical 2 Treffer
Verlag
- american physical society (aps) 19 Treffer
- cambridge university press (cup) 8 Treffer
- american physical society 7 Treffer
- wiley 6 Treffer
- elsevier bv 5 Treffer
-
45 weitere Werte:
- elsevier 4 Treffer
- oxford university press (oup) 4 Treffer
- springer 4 Treffer
- university of leeds 4 Treffer
- logical methods in computer science 3 Treffer
- logical methods in computer science e.v. 3 Treffer
- physical review letters 3 Treffer
- royal society of chemistry (rsc) 3 Treffer
- the royal society 3 Treffer
- aip publishing 2 Treffer
- association for symbolic logic 2 Treffer
- elsevier masson 2 Treffer
- ieee 2 Treffer
- mdpi ag 2 Treffer
- multidisciplinary digital publishing institute 2 Treffer
- oxford university pressoxford 2 Treffer
- physical review d 2 Treffer
- aip publishing llc 1 Treffer
- amer chemical soc 1 Treffer
- association for computing machinery (acm) 1 Treffer
- cambridge university press 1 Treffer
- country:deu 1 Treffer
- dove medical press 1 Treffer
- dove press 1 Treffer
- elsevier-masson 1 Treffer
- graz university of technology, institut fur informationssysteme und computer medien 1 Treffer
- ieee-inst electrical electronics engineers inc 1 Treffer
- intechopen 1 Treffer
- iop science 1 Treffer
- john wiley and sons inc. 1 Treffer
- korea water resources association 1 Treffer
- korean pharmacopuncture institute 1 Treffer
- lipics - leibniz international proceedings in informatics. 28th eacsl annual conference on computer science logic (csl 2020) 1 Treffer
- nature portfolio 1 Treffer
- nature publishing group uk 1 Treffer
- north-holland 1 Treffer
- ontos verlag 1 Treffer
- oxford university press 1 Treffer
- polish cardiac society 1 Treffer
- schloss dagstuhl - leibniz-zentrum fur informatik 1 Treffer
- springer science and business media llc 1 Treffer
- springer verlag 1 Treffer
- stockholm : department of mathematics, stockholm university 1 Treffer
- stockholms universitet, matematiska institutionen 1 Treffer
- taylor & francis 1 Treffer
Publikation
- ei ; pubmed ; sci 2 Treffer
- sci 2 Treffer
- $2 1 Treffer
- aip advances ; volume 7, issue 5 ; issn 2158-3226 1 Treffer
- clin exp immunol 1 Treffer
-
32 weitere Werte:
- heliyon 1 Treffer
- https://www.intechopen.com/books/10516 1 Treffer
- journal of applied physics ; volume 111, issue 7 ; issn 0021-8979 1089-7550 1 Treffer
- journal of pharmacopuncture 1 Treffer
- journal of prosthodontics ; volume 28, issue 1 ; issn 1059-941x 1532-849x 1 Treffer
- logical methods in computer science, vol volume 10, issue 3 (2014 1 Treffer
- logical methods in computer science, vol volume 13, issue 3 (2017 1 Treffer
- logical methods in computer science, vol volume 17, issue 2 (2021 1 Treffer
- modid-6d55e02e354:intechopen 1 Treffer
- philos trans a math phys eng sci 1 Treffer
- philosophical transactions of the royal society a: mathematical, physical and engineering sciences ; volume 381, issue 2248 ; issn 1364-503x 1471-2962 1 Treffer
- physical review d ; volume 100, issue 1 ; issn 2470-0010 2470-0029 1 Treffer
- physical review d ; volume 102, issue 11 ; issn 2470-0010 2470-0029 1 Treffer
- physical review d ; volume 103, issue 5 ; issn 2470-0010 2470-0029 1 Treffer
- physical review d ; volume 105, issue 9 ; issn 2470-0010 2470-0029 1 Treffer
- physical review d ; volume 91, issue 1 ; issn 1550-7998 1550-2368 1 Treffer
- physical review d ; volume 91, issue 7 ; issn 1550-7998 1550-2368 1 Treffer
- physical review d ; volume 93, issue 1 ; issn 2470-0010 2470-0029 1 Treffer
- physical review d ; volume 99, issue 1 ; issn 2470-0010 2470-0029 1 Treffer
- physical review d ; volume 99, issue 3 ; issn 2470-0010 2470-0029 1 Treffer
- physical review letters ; volume 114, issue 21 ; issn 0031-9007 1079-7114 1 Treffer
- physical review letters ; volume 115, issue 12 ; issn 0031-9007 1079-7114 1 Treffer
- physical review letters ; volume 115, issue 14 ; issn 0031-9007 1079-7114 1 Treffer
- physical review letters ; volume 117, issue 1 ; issn 0031-9007 1079-7114 1 Treffer
- physical review letters ; volume 117, issue 14 ; issn 0031-9007 1079-7114 1 Treffer
- physical review letters ; volume 121, issue 26 ; issn 0031-9007 1079-7114 1 Treffer
- physical review letters ; volume 121, issue 6 ; issn 0031-9007 1079-7114 1 Treffer
- physical review letters ; volume 122, issue 8 ; issn 0031-9007 1079-7114 1 Treffer
- physical review letters ; volume 124, issue 12 ; issn 0031-9007 1079-7114 1 Treffer
- pubmed ; sci 1 Treffer
- sci rep 1 Treffer
- scientific reports 1 Treffer
Sprache
176 Treffer
-
In: Heliyon, 2022academicJournalZugriff:
-
In: Heliyon, Vol 8, Iss 8, Pp e10331- (2022, 2022Online academicJournalZugriff:
-
2022academicJournalZugriff:
-
In: The Journal of Symbolic Logic ; page 1-23 ; ISSN 0022-4812 1943-5886, 2022academicJournalZugriff:
-
In: Heliyon ; volume 8, issue 8, page e10331 ; ISSN 2405-8440, 2022academicJournalZugriff:
-
In: Journal of Pharmacopuncture, 2016Online academicJournalZugriff:
-
In: Solid State Sciences ; volume 113, page 106529 ; ISSN 1293-2558, 2021academicJournalZugriff:
-
2013academicJournalZugriff:
-
In: Annals of Pure and Applied Logic ; volume 165, issue 5, page 1115-1147 ; ISSN 0168-0072, 2014academicJournalZugriff:
-
In: http://www.maths.leeds.ac.uk/~rathjen/tklr.pdf, 2004Online academicJournalZugriff:
-
In: Archive for Mathematical Logic ; volume 49, issue 2, page 147-167 ; ISSN 0933-5846 1432-0665, 2009academicJournalZugriff:
-
In: Journal of Applied Logic ; volume 6, issue 3, page 443-458 ; ISSN 1570-8683, 2008academicJournalZugriff:
-
In: Annals of Pure and Applied Logic ; volume 141, issue 1-2, page 29-34 ; ISSN 0168-0072, 2006academicJournalZugriff:
-
2009reportZugriff:
-
2013Online academicJournalZugriff:
-
2012Online BuchZugriff:
-
In: Logic Journal of IGPL ; volume 21, issue 1, page 63-76 ; ISSN 1367-0751 1368-9894, 2012Online academicJournalZugriff:
-
In: http://www.cs.man.ac.uk/~petera/Recent-Slides/Helsinki-Sept-2010-slides_pap.pdfOnline academicJournalZugriff:
-
In: http://www.phil.uu.nl/preprints/preprints/PREPRINTS/preprint276.pdfOnline academicJournalZugriff: