Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- mathematics - logic 33 Treffer
- logic 19 Treffer
- 03f50 17 Treffer
- constructive set theory 11 Treffer
- general physics and astronomy 11 Treffer
-
45 weitere Werte:
- catalunya. barcelona. campus nord. carrer jordi girona 10 Treffer
- fons upc::representacio i relacions publiques::actes oficials i protocol·laris::inauguracions 10 Treffer
- num. 1-3. nexus i 10 Treffer
- universitat politecnica de catalunya -- edificis 10 Treffer
- philosophy 9 Treffer
- protocol oficial -- catalunya 9 Treffer
- universitat politecnica de catalunya -- relacions publiques 9 Treffer
- visites oficials -- catalunya 9 Treffer
- 03e70 8 Treffer
- maragall i mira 8 Treffer
- pasqual 8 Treffer
- jaume 7 Treffer
- pages fita 7 Treffer
- f.4.1 6 Treffer
- realizability 6 Treffer
- albaiges 5 Treffer
- antoni 5 Treffer
- giro roca 5 Treffer
- joan 5 Treffer
- 06d22 4 Treffer
- belle 4 Treffer
- ferrate pascual 4 Treffer
- gabriel 4 Treffer
- intuitionistic logic 4 Treffer
- 03f60 3 Treffer
- adsorption 3 Treffer
- axiom of choice 3 Treffer
- bc1-199 3 Treffer
- electronic computers. computer science 3 Treffer
- general chemistry 3 Treffer
- genotoxicity 3 Treffer
- magnetic resonance imaging 3 Treffer
- mathematics - category theory 3 Treffer
- mathematics - general topology 3 Treffer
- phil 3 Treffer
- physics 3 Treffer
- qa75.5-76.95 3 Treffer
- 03b15 2 Treffer
- 03b38 2 Treffer
- 03c90 2 Treffer
- 03e35 2 Treffer
- 03e55 2 Treffer
- 03f03 2 Treffer
- 03f25 2 Treffer
- 03f35 2 Treffer
Verlag
- american physical society (aps) 19 Treffer
- american physical society 8 Treffer
- cambridge university press (cup) 8 Treffer
- elsevier bv 6 Treffer
- wiley 6 Treffer
-
45 weitere Werte:
- springer 5 Treffer
- elsevier 4 Treffer
- oxford university press (oup) 4 Treffer
- university of leeds 4 Treffer
- elsevier masson 3 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
- arxiv 2 Treffer
- association for symbolic logic 2 Treffer
- ieee 2 Treffer
- mdpi ag 2 Treffer
- multidisciplinary digital publishing institute 2 Treffer
- oxford university press 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
- college publications 1 Treffer
- country:deu 1 Treffer
- digital howard @ howard university 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
- 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
Publikation
- fons personal rector jaume pages 10 Treffer
- ei ; pubmed ; sci 2 Treffer
- sci 2 Treffer
- $2 1 Treffer
- aip advances ; volume 7, issue 5 ; issn 2158-3226 1 Treffer
-
35 weitere Werte:
- clin exp immunol 1 Treffer
- heliyon 1 Treffer
- howard university cancer center faculty publications 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
- twenty five years of constructive type theory 1 Treffer
Sprache
237 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:
-
2021academicJournalZugriff:
-
2021academicJournalZugriff:
-
2022Online reportZugriff:
-
In: Journal of Pharmacopuncture, 2016Online academicJournalZugriff:
-
2015academicJournalZugriff:
-
In: Solid State Sciences ; volume 113, page 106529 ; ISSN 1293-2558, 2021academicJournalZugriff:
-
2013academicJournalZugriff:
-
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:
-
In: Howard University Cancer Center Faculty Publications, 2016academicJournalZugriff: