Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
Verlag
- centre de recherche bretonne et celtique 224 Treffer
- s.n. 158 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik 104 Treffer
- cirad 100 Treffer
- escholarship, university of california 67 Treffer
-
45 weitere Werte:
- bibliotheque de l'universite laval 53 Treffer
- inria 47 Treffer
- unit 47 Treffer
- elsevier 37 Treffer
- massachusetts institute of technology 33 Treffer
- alma mater studiorum - university of bologna 31 Treffer
- red pp-al 31 Treffer
- cgiar 30 Treffer
- ed. quae 26 Treffer
- lipics - leibniz international proceedings in informatics. 12th international conference on interactive theorem proving (itp 2021) 24 Treffer
- springer 23 Treffer
- lipics - leibniz international proceedings in informatics. 10th international conference on interactive theorem proving (itp 2019) 22 Treffer
- association for computing machinery (acm) 20 Treffer
- cgiar research program on climate change, agriculture and food security 20 Treffer
- stockholms universitet, matematiska institutionen 20 Treffer
- desclee de brouwer 18 Treffer
- (paris) 17 Treffer
- berlin : springer 16 Treffer
- editions france agricole 15 Treffer
- e-papers 14 Treffer
- sfer 14 Treffer
- editions ada 11 Treffer
- lipics - leibniz international proceedings in informatics. 14th international conference on interactive theorem proving (itp 2023) 11 Treffer
- mdpi 11 Treffer
- uppsala universitet, datalogi 11 Treffer
- kth, teoretisk datalogi, tcs 10 Treffer
- schloss dagstuhl- leibniz-zentrum fur informatik gmbh, dagstuhl publishing 10 Treffer
- alma mater studiorum - universita di bologna 9 Treffer
- archipoche 9 Treffer
- asociacion espanola de ciencia regional 9 Treffer
- association for computing machinery 9 Treffer
- berlin ; new york : springer 9 Treffer
- cham : springer international publishing 9 Treffer
- forberg 9 Treffer
- ink book 9 Treffer
- jurgenson 9 Treffer
- la gibeciere a mots 9 Treffer
- lipics - leibniz international proceedings in informatics. 13th international conference on interactive theorem proving (itp 2022) 9 Treffer
- stockholm : department of mathematics, stockholm university 9 Treffer
- weyrich 9 Treffer
- editions quae 8 Treffer
- lipics - leibniz international proceedings in informatics. 25th international conference on types for proofs and programs (types 2019) 8 Treffer
- lipics - leibniz international proceedings in informatics. 2nd international conference on formal structures for computation and deduction (fscd 2017) 8 Treffer
- umr art-dev 8 Treffer
- union europeenne 8 Treffer
Publikation
- au library scholarly publishing services 4 Treffer
- baston, colm and capretta, venanzio (2018) the coinductive formulation of common knowledge. in: itp 2018 - interactive theorem proving, 9-12 august 2018, oxford, uk. 4 Treffer
- doi:10.1017/s0956796815000180 4 Treffer
- ciencia ergo-sum, issn 1405-0269, vol. 23, no. 1, 2016, pags. 58-66 2 Treffer
- cinta de moebio: revista electronica de epistemologia de ciencias sociales, issn 0717-554x, no. 22 (marzo), 2005 2 Treffer
-
7 weitere Werte:
- eindhoven : technische universiteit eindhoven, computer science reports, (2006) 2 Treffer
- lider: revista labor interdisciplinaria de desarrollo regional, issn 0717-0165, no. 13, 2005, pags. 51-78 2 Treffer
- lider: revista labor interdisciplinaria de desarrollo regional, issn 0717-0165, no. 29, 2016, pags. 9-31 2 Treffer
- urn:issn:issn: 2275-9131 2 Treffer
- les cahiers anne hebert 1 Treffer
- sagamore hill national historic site 1 Treffer
- total quality management and business excellence 1 Treffer
4.361 Treffer
-
2023Online Elektronische Ressource
-
2023Online Elektronische Ressource
-
2023Online Elektronische Ressource
-
2023Online Elektronische Ressource
-
2023Online Elektronische Ressource
-
2023Online Elektronische Ressource
-
2023Online Elektronische Ressource
-
2022Online Elektronische Ressource
-
2022Online Elektronische Ressource
-
2022Online Elektronische Ressource
-
2022Online Elektronische Ressource
-
2022Online Elektronische Ressource
-
2022Online Elektronische Ressource
-
2022Online Elektronische Ressource
-
2022Online Elektronische Ressource
-
2022Online Elektronische Ressource
-
2022Online Elektronische RessourceZugriff: