2013-book.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 2013-book.cite -ob 2013-book.bib -c 'year = 2013 and topics : "team" and ($type="book" or $type="inbook" or $type="incollection")' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}
@inbook{boldo13livreim,
author = {Sylvie Boldo and Guillaume Melquiond},
hal = {http://hal-lirmm.ccsd.cnrs.fr/lirmm-00835506},
editor = {Philippe Langlois},
title = {Informatique Mathématique, une photographie en 2013},
chapter = {Arithmétique des ordinateurs et preuves formelles},
publisher = {Presses Universitaires de Perpignan},
year = {2013},
address = {Perpignan, France},
pages = {189--220},
topics = {team,lri},
type_publi = {chapitre}
}
@book{InfoPourTous2013Eyrolles,
hal = {http://hal.inria.fr/hal-00880268},
topics = {team},
author = {Benjamin Wack and Sylvain Conchon and Judica\"el Courant and Marc de Falco and Gilles Dowek and Jean-Christophe Filli\^atre and St\'ephane Gonnord},
title = {Informatique pour tous en classes préparatoires aux grandes écoles : Manuel d'algorithmique et programmation structurée avec Python},
publisher = {Eyrolles},
year = 2013,
month = aug,
pages = 408,
url = {http://www.eyrolles.com/Sciences/Livre/informatique-pour-tous-en-classes-preparatoires-aux-grandes-ecoles-9782212137002},
isbn = 2212137001,
x-equipes = {demons PROVAL EXT},
x-support = {livre},
x-type = {livre},
type_publi = {ouvrage}
}