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}
}