Publikation
Claus-Peter Wirth
In: Logica Universalis, Vol. 6, Pages 485-520, Springer Publishing House, 2012.
@article{pub8617, author = { Wirth, Claus-Peter }, title = {Herbrand's Fundamental Theorem in the Eyes of Jean van Heijenoort}, year = {2012}, volume = {6}, pages = {485--520}, journal = {Logica Universalis}, publisher = {Springer Publishing House} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023