Suchergebnisse - "Pillot, Pierre"

1

Deciding Satisfiability of Positive Second Order Joinability Formulae

von: Limet, Sébastien

2006, in: Lecture notes in computer science

Wird geladen...
2

Formal Languages - Solving First Order Formulae of Pseudo-Regular Theory

von: Limet, Sébastien

2005, in: Lecture notes in computer science

Wird geladen...
3

Evaluation of oncological outcomes of robotic partial nephrectomy according to the type of hilar control approach (On-clamp vs Off-clamp), a multicentric study of the French network of research on kidney cancer—UROCCR 58-NCT03293563

von: Mellouki, Adil

2021, in: World journal of urology

Wird geladen...

Nicht das Richtige dabei?

Schreiben Sie uns!