| Art der Veröffentlichung: |
Artikel in Sammlung |
| Autor: |
Claus-Peter Wirth; Jörg Siekmann; Christoph Benzmüller; Serge Autexier |
| Titel: |
Jacques Herbrand: Life, Logic, and Automated Deduction |
| Buch / Sammlungs-Titel: |
Dov M. Gabbay; John Woods; : Logic from Russell to Church |
| Band: |
5 |
| Seite(n): |
195 – 254 |
| Serie / Reihe: |
Handbook of The History of Logic |
| Erscheinungsjahr: |
2009 |
| Verleger: |
Elsevier |
| Internet: |
https://www2.dfki.de/intranet/research/publications/renameFileForDownload?filename=paper.pdf&file_id=uploads_334 |
| Status: |
Reviewed |
| Letzte Aktualisierung: |
14. 10. 2009 |
