Sortiert nach
International journal of food microbiology, 2019-07, Vol.300, p.43-52
2019
Link zum Volltext
Euro surveillance : bulletin européen sur les maladies transmissibles, 2017-04, Vol.22 (15), p.2
2017
Link zum Volltext
Lung cancer (Amsterdam, Netherlands), 2024-04, Vol.192, p.107800-107800, Article 107800
2024
Link zum Volltext
Food microbiology, 2019-09, Vol.82, p.504-514
2019
Link zum Volltext
Euro surveillance : bulletin européen sur les maladies transmissibles, 2016-01, Vol.21 (4), p.1
2016
Link zum Volltext
European journal of cancer (1990), 2015-09, Vol.51, p.S235-S235
2015
Link zum Volltext
Radiotherapy and oncology, 2018-04, Vol.127, p.S1250-S1250
2018
Link zum Volltext
Archives des maladies professionnelles et de l'environnement, 2004, Vol.65 (2), p.88-90
2004
Link zum Volltext
Journal of automated reasoning, 1998-12, Vol.21 (3), p.279
1998
Link zum Volltext
Lecture notes in computer science, 1999, Vol.1690, p.167-183
1999
Link zum Volltext
Automated Deduction — CADE-15, 2006, p.349-364
2006
Link zum Volltext
Lecture notes in computer science, 2003, p.304-318
2003
Link zum Volltext
- Anchordoqui, Claire
- Assaf, Marie
- Barragán-Ochoa, Fernando
- Boyer, Robert
- Cahier, Laura
- Cazarotto, Rosmari
- Charlier Zeineddine, Laurence
- Demelenne, Julien
- de Oliveira, Maria Conceição
- Favier, Irène
- Gonzalez Maltes, Victoria
- Gouëset, Vincent
- Granada, Daniel
- Grisotti, Marcia
- Larré, Lionel
- Le Tourneau, François-Michel
- Lucas, Maëlle
- Magnan, Marion
- Manero, Edgardo
- Marchet, Marion
- Mesclier, Évelyne
- Morenas, Arthur
- Noucher, Matthieu
- Olmedo, Élise
- Oré, María Teresa
- Pavan Detoni, Priscila
- Reali, María Laura
- Robert, Garance
- Robert, Jérémy
- Rostain, Stéphen
- Boidin, Capucine
- Damasceno, Claudia
- Le Tourneau, François-Michel
- Théry, Hervé
2022
Link zum Volltext
Journal of automated reasoning, 2001-02, Vol.26 (2), p.107-137
2001
Link zum Volltext
Functional and Logic Programming, 2006, Vol.3945, p.97-113
2006
Link zum Volltext
Lecture notes in computer science, 1999, Vol.1690, p.113-130
1999
Link zum Volltext
Lecture notes in computer science, 1999, Vol.1690, p.149-165
1999
Link zum Volltext
Journal of symbolic computation, 1998-02, Vol.25 (2), p.161-194
1998
Link zum Volltext
The American journal of cardiology, 1986-02, Vol.57 (4), p.199-202
1986
Link zum Volltext
Lecture notes in computer science, 1999, Vol.1690, p.203-220
1999
Link zum Volltext
Lecture notes in computer science, 1999, Vol.1690, p.311-321
1999
Link zum Volltext
Lecture notes in computer science, 1999, Vol.1690, p.19-36
1999
Link zum Volltext
The Seventeen Provers of the World, p.28-35
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
Kollektion
- EZB Electronic Journals Library
- Ingenta
- JSTOR Complete Journals
- MEDLINE
- Elsevier ScienceDirect Journals Complete
- IngentaConnect Journals
- Single Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Ovid
- Ebook Central Perpetual and DDA
- American Physical Society Journals
- PROLA
- Wiley Online Library
- HEAL-Link subscriptions: Springer Book Series
- Armand-Colin journals
- eBooks on EBSCOhost
- Springer Books
- Wiley Online Library Full Collection 2018
- Springer Nature - Complete Springer Journals
- Sociological Abstracts
Zeitschrift / Serie
- Mappemonde
- Confins : Revue Franco-Brésilienne De Géographie
- Lille Medical : Journal De La Faculte De Medecine Et De Pharmacie De L'universite De Lille
- Annuaire De L'ehess
- Revue Des Sciences Philosophiques Et Théologiques
- Annales De Géographie
- Physics Letters. B
- Oeil
- Bulletin De La Société Entomologique De France
- Physical Review Letters
Neu hinzugefügt