Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- hist 601 Treffer
- lang 79 Treffer
- edu 59 Treffer
- socio 38 Treffer
- art 37 Treffer
-
45 weitere Werte:
- litt 36 Treffer
- coq 35 Treffer
- computer science - logic in computer science 34 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 32 Treffer
- info 25 Treffer
- psy 25 Treffer
- 72 physics of elementary particles and fields 24 Treffer
- anthro-se 24 Treffer
- relig 20 Treffer
- hisphilso 19 Treffer
- stat 18 Treffer
- [phys.phys.phys-ins-det]physics [physics]/physics [physics]/instrumentation and detectors [physics.ins-det] 17 Treffer
- psychanalyse 16 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 14 Treffer
- freud 13 Treffer
- [phys.hexp]physics [physics]/high energy physics - experiment [hep-ex] 12 Treffer
- 73 nuclear physics and radiation physics 12 Treffer
- droit 11 Treffer
- reve 11 Treffer
- transfert 11 Treffer
- type theory 11 Treffer
- geo 10 Treffer
- mathematics - logic 10 Treffer
- separation logic 10 Treffer
- trauma 10 Treffer
- corps 9 Treffer
- computer science - programming languages 8 Treffer
- ferenczi 8 Treffer
- proof assistant 8 Treffer
- scipo 8 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 7 Treffer
- class 7 Treffer
- contre-transfert 7 Treffer
- transmission 7 Treffer
- automated theorem proving 6 Treffer
- formal verification 6 Treffer
- logic 6 Treffer
- mathematics - category theory 6 Treffer
- modal logic 6 Treffer
- narcissisme 6 Treffer
- rewriting 6 Treffer
- [phys.phys.phys-acc-ph]physics [physics]/physics [physics]/accelerator physics [physics.acc-ph] 5 Treffer
- assistant de preuve 5 Treffer
- calice 5 Treffer
- data processing computer science 5 Treffer
Verlag
- [s.n.] 159 Treffer
- hal ccsd 104 Treffer
- iop publishing 12 Treffer
- acm 8 Treffer
- otto walter a.-g. 7 Treffer
-
45 weitere Werte:
- elsevier 6 Treffer
- j. bron, edit. 6 Treffer
- logical methods in computer science e.v. 6 Treffer
- springer 6 Treffer
- association for computing machinery 5 Treffer
- federation of swiss societies in the united kingdom 5 Treffer
- benediktiner von mariastein 4 Treffer
- centre international d'etudes pedagogiques 4 Treffer
- cnrs editions 4 Treffer
- mcgill university 4 Treffer
- otto walter ag 4 Treffer
- revue internationale d'education de sevres 4 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik 4 Treffer
- universidade federal fluminense 4 Treffer
- [s.n] 3 Treffer
- centre max weber 3 Treffer
- france education international 3 Treffer
- ll-hdt 3 Treffer
- open publishing association 3 Treffer
- rosenberg & sellier 3 Treffer
- springer verlag 3 Treffer
- studi francesi 3 Treffer
- animots 2 Treffer
- association "les amis du portique" 2 Treffer
- cirad 2 Treffer
- dictynna 2 Treffer
- eptcs 2 Treffer
- erudit 2 Treffer
- historischer verein des kantons st. gallen 2 Treffer
- katolicki uniwersytet lubelski jana pawla ii. towarzystwo naukowe kul 2 Treffer
- le portique 2 Treffer
- lectures 2 Treffer
- modernites medievales 2 Treffer
- presses universitaires de vincennes 2 Treffer
- societe de langues et litteratures medievales d'oc et d'oil (sllmoo) 2 Treffer
- universite de lille 2 Treffer
- universite d'ottawa / university of ottawa 2 Treffer
- univerzita karlova, evangelicka teologicka fakulta 2 Treffer
- uniwersytet lodzki. wydawnictwo uniwersytetu lodzkiego 2 Treffer
- wydawnictwo uniwersytetu lodzkiego 2 Treffer
- adlfi. archeologie de la france - informations 1 Treffer
- aggiornamento hist-geo 1 Treffer
- agroparistech, nancy, france 1 Treffer
- american institute of physics 1 Treffer
- american physical society 1 Treffer
Publikation
- arxiv 33 Treffer
- theses.fr 30 Treffer
- issn: 1748-0221 ; journal of instrumentation ; https://hal.in2p3.fr/in2p3-00464391 ; journal of instrumentation, 2010, 5, pp.p05004. ⟨10.1088/1748-0221/5/05/p05004⟩ 6 Treffer
- issn: 1748-0221 ; journal of instrumentation ; https://hal.in2p3.fr/in2p3-00984214 ; journal of instrumentation, 2014, 9, pp.p07022. ⟨10.1088/1748-0221/9/07/p07022⟩ 6 Treffer
- issn: 0168-9002 ; eissn: 1872-9576 5 Treffer
-
45 weitere Werte:
- escholarship@mcgill: discover theses, dissertations, articles, and more 4 Treffer
- viso 4 Treffer
- hyper article en ligne - sciences de l'homme et de la societe 3 Treffer
- ll-hdt 3 Treffer
- orbi : universite de liege 3 Treffer
- revue internationale d'education de sevres 3 Treffer
- $2 2 Treffer
- animots 2 Treffer
- ideals 2 Treffer
- issn: 0168-7433 2 Treffer
- modernites medievales 2 Treffer
- studi francesi 2 Treffer
- acta didactica napocensia 1 Treffer
- acta poloniae historica; 2015, 112 ; 0001-6829 1 Treffer
- acta universitatis lodziensis. folia archaeologica; 2004, 24 1 Treffer
- adlfi. archeologie de la france - informations 1 Treffer
- aggiornamento hist-geo 1 Treffer
- all computer science and engineering research 1 Treffer
- annuaire de l'ecole pratique des hautes etudes. section des sciences historiques et philologiques 1 Treffer
- archeorient, le blog 1 Treffer
- archivalia 1 Treffer
- archive ouverte d'inrae 1 Treffer
- archive ouverte d'inrae ; 2018 1 Treffer
- beitrage zur mediavistischen erzahlforschung 1 Treffer
- c.h.beck 1 Treffer
- cahiers de recherches medievales et humanistes 1 Treffer
- charlemagne 1 Treffer
- classics faculty publication series 1 Treffer
- dialnet - articulos de revista ; cinta de moebio: revista electronica de epistemologia de ciencias sociales, issn 0717-554x, no. 22 (marzo), 2005 1 Treffer
- dictynna 1 Treffer
- directory of open access books 1 Treffer
- dissertations, theses, and capstone projects 1 Treffer
- ecommons : open scholarship at cornell 1 Treffer
- ecrire l'histoire 1 Treffer
- egypte/monde arabe 1 Treffer
- elektronisches publikationsportal der osterreichischen akademie der wissenschafte 1 Treffer
- exercices de rhetorique 1 Treffer
- frontieres 1 Treffer
- ftntnutrondheimi 1 Treffer
- ftstarfr 1 Treffer
- gaceta laboral ; cinta de moebio (chile) num.22 1 Treffer
- geological and atmospheric sciences publications 1 Treffer
- guerre franco-allemande / deutsch-franzosischer krieg 1870/71 1 Treffer
- histoire de la recherche contemporaine 1 Treffer
- historia slavorum occidentis; 2018, 2 (17 1 Treffer
Sprache
Geographischer Bezug
1.049 Treffer
-
In: Proceedings of the 25th International Symposium on Formal Methods ; 25th International Symposium on Formal Methods (FM 2023) ; https://hal.inria.fr/hal-03889276 ; 25th International Symposium on Formal Methods (FM 2023), Mar 2023, Lübeck, Germany. pp.39--55, ⟨10.1007/978-3-031-27481-7_4⟩ ; https://fm2023.isp.uni-luebeck.de/, 2023Online KonferenzZugriff:
-
In: Mathematics, Vol 11, Iss 2504, p 2504 (2023, 2023academicJournalZugriff:
-
2021KonferenzZugriff:
-
In: 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021) ; https://inria.hal.science/hal-03280264 ; 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021), Jul 2021, Buenos Aires, Argentina. ⟨10.4230/LIPIcs.FSCD.2021.18⟩, 2021Online KonferenzZugriff:
-
In: CSL 2023 - 31st EACSL Annual Conference on Computer Science Logic ; https://inria.hal.science/hal-03901942 ; CSL 2023 - 31st EACSL Annual Conference on Computer Science Logic, Feb 2023, Warsaw, Poland. pp.1-21, ⟨10.4230/LIPIcs.CSL.2023.16⟩, 2023Online KonferenzZugriff:
-
2023Online Elektronische RessourceZugriff:
-
In: Publications de la Sorbonne; (2021)BuchZugriff:
-
2022academicJournalZugriff:
-
In: Logical Methods in Computer Science, Vol Volume 18, Issue 2 (2022, 2022academicJournalZugriff:
-
2022academicJournalZugriff:
-
2021academicJournalZugriff:
-
2016KonferenzZugriff:
-
In: Frumin , D 2022 ' Semantic Cut Elimination for the Logic of Bunched Implications, Formalized in Coq ' arXiv, 2022Online academicJournalZugriff:
-
In: Les Cahiers d'Outre Mer ; Les Cahiers d'Outre-Mer, n 282, 2021academicJournalZugriff:
-
2021academicJournalZugriff:
-
In: Guerre franco-allemande / Deutsch-Französischer Krieg 1870/71, 2021academicJournalZugriff:
-
In: LFMTP 2019 Logical Frameworks and Meta-Languages: Theory and Practice 2019 ; https://hal.archives-ouvertes.fr/hal-02152406 ; LFMTP 2019 Logical Frameworks and Meta-Languages: Theory and Practice 2019, Jun 2019, Vancouver, Canada, 2019Online academicJournalZugriff:
-
2020academicJournalZugriff: