Back to Results
First PageMeta Content



Fakultät Informatik FI05-08-Juli 2005 Technische Berichte Technical Reports
Add to Reading List

Document Date: 2012-01-04 16:11:07

Open Document

File Size: 3,59 MB

Share Result on Facebook

City

Canberra / Dresden / Lisbon / Paris / Oxford / /

Company

Andrei Voronkov / /

Country

Germany / France / /

IndustryTerm

deep inference systems / satellite workshop / deductive systems / official web page / satellite workshops / formal systems / /

Organization

Organization Programme Committee / Ecole Polytechnique / Paris / Organization Committee / ICALP / /

Person

Steve Prestwich / John Power / Michel Parigot / Luca Roversi / Paola Bruscoli / Kai Br / Carolina Silva / Christophe Fouquer / Sylvain Pogodalla Ivan Scagnetto Lutz / Thomas Streicher / Antonio Ravara / Estelle Dumoulin / Rajeev Gor / Konstantinos Tourlas / Ivan Scagnetto Lutz Straßburger Vitezslav / Antoine Reilles / Didier Galmiche / Gilles Dowek / Yves Guiraud / Pierre-Etienne Moreau / Ronchi della Rocca / Bettina Schneider / Roy Dyckho / Paolo Coppola St´ephane / Charles Stewart / Claude Kirchner / Robert Hein / Fabio Alessi Denis Bechet Kai / Jean-Baptiste Joinet / Denis Bechet Kai Br / Vasco Vasconcelos / Luke Ong / Sara Negri Sylvain Pogodalla Ivan / Dale Miller / Lamarche Stewart / /

Position

Chair / /

Product

EasyChair software / EasyChair / /

URL

http /

SocialTag