Jacques Herbrand: Life, Logic, and Automated Deduction (bibtex)
by Claus-Peter Wirth, Jörg Siekmann, Christoph Benzmüller, Serge Autexier
Reference:
Jacques Herbrand: Life, Logic, and Automated Deduction (Claus-Peter Wirth, Jörg Siekmann, Christoph Benzmüller, Serge Autexier), Chapter in Handbook of the History of Logic, Volume 5 -- Logic from Russell to Church (Dov Gabbay, John Woods, eds.), Elsevier, 2009.
Bibtex Entry:
@incollection{B4,
  Author =	 {Claus-Peter Wirth and J{\"o}rg Siekmann and
                  Christoph Benzm{\"u}ller and Serge Autexier},
  Booktitle =	 {Handbook of the History of Logic, Volume 5 -- Logic
                  from Russell to Church},
  Doi =		 {10.1016/S1874-5857(09)70009-3},
  Editor =	 {Dov Gabbay and John Woods},
  Issn =	 {1874-5857},
  Keywords =	 {own, Jacques Herbrand, History of Logic},
  Publisher =	 {Elsevier},
  Title =	 {Jacques {Herbrand}: Life, Logic, and Automated
                  Deduction},
  Url =
                  {http://www.sciencedirect.com/science/article/pii/S1874585709700093},
  Year =	 2009,
}
Powered by bibtexbrowser