Automatique And NotJ.-F. Petin

List of bibliographic references

Number of relevant bibliographic references: 6.

Ident.	Authors (with country if any)	Title
000021	Jean-Romain Roussel [France] ; Frédéric Mothe [France] ; Adrien Kr Henbühl [France] ; Bertrand Kerautret [France] ; Isabelle Debled-Rennesson [France] ; Fleur Longuetaud [France]	Automatic knot segmentation in CT images of wet softwood logs using a tangential approach
000110	F. Longuetaud [France] ; F. Mothe [France] ; B. Kerautret [France] ; A. Kr Henbühl [France] ; L. Hory [France] ; J. M. Leban [France] ; I. Debled-Rennesson [France]	Automatic knot detection and measurements from X-ray CT images of wood: A review and validation of an improved algorithm on softwood samples
000138	Christopher Lynch [États-Unis] ; Silvio Ranise [Italie] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [Namibie]	Automatic decidability and combinability
000407	JIA MENG [États-Unis] ; Claire Quigley [États-Unis] ; Lawrence C. Paulson [États-Unis]	Automation for interactive proof : First prototype
000624	Fleur Longuetaud [France] ; Jean-Michel Leban [France] ; Frédéric Mothe [France] ; Erwan Kerrien [France] ; Marie-Odile Berger [France]	Automatic detection of pith on CT images of spruce logs
000D42	D. Galmiche [France] ; G. Perrier	On proof normalization in linear logic

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022